Derivations of the Frobenius map

Journal of Symbolic Logic 70 (1):99-110 (2005)
  Copy   BIBTEX

Abstract

We prove that the theory of fields with a derivation of Frobenius has the model companion which is stable and admits elimination of quantifiers up to the level of the λ-functions. Along the way, we give new geometric axioms of DCFp.

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
The Model Theory of Differential Fields with Finitely Many Commuting Derivations.Tracey Mcgrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
Elimination theory for addition and the Frobenius map in polynomial rings.Thanases Pheidas & Karim Zahidi - 2004 - Journal of Symbolic Logic 69 (4):1006-1026.
Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
Separably closed fields with Hasse derivations.Martin Ziegler - 2003 - Journal of Symbolic Logic 68 (1):311-318.
Generic automorphisms of fields.Angus Macintyre - 1997 - Annals of Pure and Applied Logic 88 (2):165-180.
Proof Terms for Classical Derivations.Restall Greg - manuscript
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Relational and Partial Variable Sets and Basic Predicate Logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (2):843-872.
Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Some elements of Lie-differential algebra and a uniform companion for large Lie-differential fields.Nicolas Guzy - 2007 - Annals of Pure and Applied Logic 150 (1-3):66-78.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
A normal form for logical derivations implying one for arithmetic derivations.G. Mints - 1993 - Annals of Pure and Applied Logic 62 (1):65-79.

Analytics

Added to PP
2010-08-24

Downloads
42 (#368,825)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Piotr Kowalski
Universität Regensburg

Citations of this work

Existentially closed fields with finite group actions.Daniel M. Hoffmann & Piotr Kowalski - 2018 - Journal of Mathematical Logic 18 (1):1850003.
Model Theory of Derivations of the Frobenius Map Revisited.Jakub Gogolok - 2023 - Journal of Symbolic Logic 88 (3):1213-1229.
Geometric axioms for existentially closed Hasse fields.Piotr Kowalski - 2005 - Annals of Pure and Applied Logic 135 (1-3):286-302.

Add more citations

References found in this work

No references found.

Add more references