MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED

DOI10.1017/jsl.2021.85arXiv2105.06397OpenAlexW3211738213MaRDI QIDQ6095981

Unnamed Author

Publication date: 11 September 2023

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

Full work available at URL: https://arxiv.org/abs/2105.06397

zbMATH Keywords

quantifier eliminationderivations of the Frobenius map

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

Operators coming from ring schemes

Cites Work

• The model theory of differential fields revisited
• A note on the axioms for differentially closed fields of characteristic zero
• A primitive element theorem for fields with commuting derivations and automorphisms
• Derivations of the Frobenius map
• Jet and prolongation spaces
• Model theory of fields with free operators in characteristic zero
• Model theory of fields with free operators in positive characteristic
• Some Basic Theorems in Differential Algebra (Characteristic p, Arbitrary)
• Generic automorphisms of separably closed fields
• Operators coming from ring schemes

This page was built for publication: MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED