Derivations of the Frobenius map

DOI10.2178/JSL/1107298512MaRDI QIDQ3370756zbMATH OpenOpenAlexFDO

Authors 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

derivationquantifier eliminationFrobenius homomorphismmodel-companiongeometric axiomsexistentially closed fields

Mathematics Subject Classification ID

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

Recommendations

• Fields with several commuting derivations
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
• Geometric characterizations of existentially closed fields with operators
• Geometric axioms for differentially closed fields with several commuting derivations
• Generic automorphisms of fields
• Automorphism groups of differentially closed fields
• The model theory of differential fields with finitely many commuting derivations
• Algebro-geometric axioms for \(\operatorname {DCF}_{0,m}\)
• Generic automorphisms of separably closed fields
• scientific article; zbMATH DE number 1824071

Cites work

• scientific article; zbMATH DE number 1703931 (Why is no real title available?)
• A note on the axioms for differentially closed fields of characteristic zero
• Arithmetic analogues of derivations
• Differentially closed fields
• Model theory of difference fields
• Separably closed fields with Hasse derivations
• The model theory of differential fields revisited

Cited in

(11)

• Geometric axioms for existentially closed Hasse fields
• Existentially closed fields with finite group actions
• Jet operators on fields
• PAC structures as invariants of finite group actions
• On Hasse–Schmidt Derivations: The Action of Substitution Maps
• Geometric axioms for differentially closed fields with several commuting derivations
• The theory \(\operatorname{DCF}_p\mathrm{A}\) a exists for \(p > 0\)
• Operators coming from ring schemes
• Model theory of fields with free operators in positive characteristic
• Existentially closed fields with G-derivations
• MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED

This page was built for publication: Derivations of the Frobenius map

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3370756)