Derivations of the Frobenius map

DOI10.2178/jsl/1107298512zbMath1094.03025OpenAlexW1990764992MaRDI QIDQ3370756

Piotr Kowalski

Publication date: 8 February 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.2632

zbMATH Keywords

quantifier eliminationderivationFrobenius homomorphismmodel-companiongeometric axiomsexistentially closed fields

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Existentially closed fields with finite group actions ⋮ MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED ⋮ Geometric axioms for differentially closed fields with several commuting derivations ⋮ Operators coming from ring schemes ⋮ Geometric axioms for existentially closed Hasse fields ⋮ Jet operators on fields ⋮ Model theory of fields with free operators in positive characteristic

Cites Work

• Unnamed Item
• Differentially closed fields
• The model theory of differential fields revisited
• A note on the axioms for differentially closed fields of characteristic zero
• Arithmetic analogues of derivations
• Model theory of difference fields
• Separably closed fields with Hasse derivations