Separably closed fields with Hasse derivations

Journal of Symbolic Logic 68 (1):311-318 (2003)
  Copy   BIBTEX

Abstract

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1045861515

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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 higher derivations I.Margit Messmer & Carol Wood - 1995 - Journal of Symbolic Logic 60 (3):898-910.
Witt Vectors and Separably Closed Fields with Higher Derivations.Daniel Max Hoffmann - 2023 - Notre Dame Journal of Formal Logic 64 (2):173-184.
Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
Model Theory of Fields with Finite Group Scheme Actions.Daniel Max Hoffmann & Piotr Kowalski - 2023 - Journal of Symbolic Logic 88 (4):1443-1468.
The model theory of differential fields with finitely many commuting derivations.Tracey Mcgrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Quantifier elimination in separably closed fields of finite imperfectness degree.Dan Haran - 1988 - Journal of Symbolic Logic 53 (2):463-469.
Separably closed valued fields: Quantifier elimination.Jizhan Hong - 2016 - Journal of Symbolic Logic 81 (3):887-900.
The independence relation in separably closed fields.G. Srour - 1986 - Journal of Symbolic Logic 51 (3):715-725.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.

Analytics

Added to PP
2009-01-28

Downloads
94 (#239,499)

6 months
17 (#181,383)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existentially closed fields with finite group actions.Daniel M. Hoffmann & Piotr Kowalski - 2018 - Journal of Mathematical Logic 18 (1):1850003.
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

No references found.

Add more references