Geometric axioms for existentially closed Hasse fields

DOI10.1016/j.apal.2005.02.003zbMath1074.03015OpenAlexW2044081061MaRDI QIDQ2488276

Piotr Kowalski

Publication date: 25 August 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.02.003

zbMATH Keywords

Quantifier eliminationHasse derivationExistentially closed Hasse fieldsModel companionProlongation

Mathematics Subject Classification ID

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

Related Items

On the model companion of partial differential fields with an automorphism ⋮ Existentially closed fields withG-derivations ⋮ Existentially closed fields with finite group actions ⋮ A note on extending actions of infinitesimal group schemes ⋮ MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS ⋮ Geometric axioms for differentially closed fields with several commuting derivations ⋮ MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS ⋮ ON EXISTENCE OF CANONICAL -BASES ⋮ Integrating Hasse-Schmidt derivations

Cites Work

• Unnamed Item
• Unnamed Item
• The model theory of differential fields revisited
• A note on the axioms for differentially closed fields of characteristic zero
• Geometric characterizations of existentially closed fields with operators
• Jet spaces of varieties over differential and difference fields
• Basic properties of differential fields of an arbitrary characteristic and the Picard-Vessiot theory
• Derivations of the Frobenius map
• Notes on the stability of separably closed fields
• Model theory of difference fields
• Separably closed fields with Hasse derivations
• Minimal groups in separably closed fields
• Separably closed fields with higher derivations I