Separably closed fields with higher derivations I

&
Journal of Symbolic Logic 60 (3):898-910 (1995)
  Copy   BIBTEX

Abstract

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

Categories

Keywords

Reprint years

DOI

10.2307/2275764

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Separably closed fields with Hasse derivations.Martin Ziegler - 2003 - Journal of Symbolic Logic 68 (1):311-318.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Asymptotic theory of modules of separably closed fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
The independence relation in separably closed fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.
Reverse mathematics of separably closed sets.Jeffry L. Hirst - 2006 - Archive for Mathematical Logic 45 (1):1-2.
Minimal groups in separably closed fields.E. Bouscaren & F. Delon - 2002 - Journal of Symbolic Logic 67 (1):239-259.
Minimal types in separably closed fields.Zoé Chatzidakis & Carol Wood - 2000 - Journal of Symbolic Logic 65 (3):1443-1450.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Separably closed fields and contractive ore modules.Luc Bélair & Françoise Point - 2015 - Journal of Symbolic Logic 80 (4):1315-1338.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
Quantifier elimination in separably closed fields of finite imperfectness degree.Dan Haran - 1988 - Journal of Symbolic Logic 53 (2):463-469.
The theory of modules of separably closed fields 2.Pilar Dellunde, Françoise Delon & Françoise Point - 2004 - Annals of Pure and Applied Logic 129 (1-3):181-210.
On Lascar rank and Morley rank of definable groups in differentially closed fields.Anand Pillay & Wai Yan Pong - 2002 - Journal of Symbolic Logic 67 (3):1189-1196.
On subgroups of the additive group in differentially closed fields.Sonat Süer - 2012 - Journal of Symbolic Logic 77 (2):369-391.

Analytics

Added to PP
2009-01-28

Downloads
23 (#678,765)

6 months
7 (#420,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Witt Vectors and Separably Closed Fields with Higher Derivations.Daniel Max Hoffmann - 2023 - Notre Dame Journal of Formal Logic 64 (2):173-184.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references