Separably closed fields with higher derivations I

1995 ◽  
Vol 60 (3) ◽  
pp. 898-910 ◽  
Author(s):  
Margit Messmer ◽  
Carol Wood
Keyword(s):  
Quantifier Elimination ◽  
Complete Theory ◽  
Closed Fields

AbstractWe define a complete theory SHFe of separably closed fields of finite invariant e (=degree of imperfection) which carry an infinite stack of Hasse-derivations. We show that SHFe has quantifier elimination and eliminates imaginaries.

Differentially algebraic group chunks

1990 ◽  
Vol 55 (3) ◽  
pp. 1138-1142 ◽  
Author(s):  
Anand Pillay
Keyword(s):  
Algebraic Group ◽  
Characteristic Zero ◽  
Quantifier Elimination ◽  
Closed Field ◽  
Zariski Topology ◽  
First Order ◽  
Differential Field ◽  
Closed Fields ◽  
Differential Fields ◽  
Algebraically Closed Fields

We point out that a group first order definable in a differentially closed field K of characteristic 0 can be definably equipped with the structure of a differentially algebraic group over K. This is a translation into the framework of differentially closed fields of what is known for groups definable in algebraically closed fields (Weil's theorem).I restrict myself here to showing (Theorem 20) how one can find a large “differentially algebraic group chunk” inside a group defined in a differentially closed field. The rest of the translation (Theorem 21) follows routinely, as in [B].What is, perhaps, of interest is that the proof proceeds at a completely general (soft) model theoretic level, once Facts 1–4 below are known.Fact 1. The theory of differentially closed fields of characteristic 0 is complete and has quantifier elimination in the language of differential fields (+, ·,0,1, −1,d).Fact 2. Affine n-space over a differentially closed field is a Noetherian space when equipped with the differential Zariski topology.Fact 3. If K is a differentially closed field, k ⊆ K a differential field, and a and are in k, then a is in the definable closure of k ◡ iff a ∈ ‹› (where k ‹› denotes the differential field generated by k and).Fact 4. The theory of differentially closed fields of characteristic zero is totally transcendental (in particular, stable).

Notes on the stability of separably closed fields

1979 ◽  
Vol 44 (3) ◽  
pp. 412-416 ◽  
Author(s):  
Carol Wood
Keyword(s):  
Differential Algebra ◽  
Complete Theory ◽  
Model Completeness ◽  
Closed Fields ◽  
Superstable Theories ◽  
Basic Facts ◽  
The Stability ◽  
Differential Fields

AbstractThe stability of each of the theories of separably closed fields is proved, in the manner of Shelah's proof of the corresponding result for differentially closed fields. These are at present the only known stable but not superstable theories of fields. We indicate in §3 how each of the theories of separably closed fields can be associated with a model complete theory in the language of differential algebra. We assume familiarity with some basic facts about model completeness [4], stability [7], separably closed fields [2] or [3], and (for §3 only) differential fields [8].

The theory of modules of separably closed fields 1

2002 ◽  
Vol 67 (3) ◽  
pp. 997-1015 ◽  
Author(s):  
Pilar Dellunde ◽  
Françoise Delon ◽  
Françoise Point
Keyword(s):  
Polynomial Ring ◽  
Quantifier Elimination ◽  
Additive Functions ◽  
Skew Polynomial Ring ◽  
Closed Fields ◽  
Skew Polynomial

AbstractWe consider separably closed fields of characteristic p > 0 and fixed imperfection degree as modules over a skew polynomial ring. We axiomatize the corresponding theory and we show that it is complete and that it admits quantifier elimination in the usual module language augmented with additive functions which are the analog of the p-component functions.

Sign in / Sign up

Export Citation Format

Share Document