Geometric axioms for existentially closed Hasse fields

DOI10.1016/J.APAL.2005.02.003MaRDI QIDQ2488276zbMATH OpenOpenAlexFDO

Authors 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

Existentially closed Hasse fieldsHasse derivationModel companionProlongationQuantifier elimination

Mathematics Subject Classification ID

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

Recommendations

• The existential theory of equicharacteristic Henselian valued fields
• Geometric characterizations of existentially closed fields with operators
• Geometric proofs of theorems of Ax-Kochen and Eršov
• Separably closed fields with Hasse derivations
• Quantifier elimination for quasi-real closed fields

Cites work

• A note on the axioms for differentially closed fields of characteristic zero
• Basic properties of differential fields of an arbitrary characteristic and the Picard-Vessiot theory
• Derivations of the Frobenius map
• Geometric characterizations of existentially closed fields with operators
• scientific article; zbMATH DE number 3573995 (Why is no real title available?)
• scientific article; zbMATH DE number 1944722 (Why is no real title available?)
• Jet spaces of varieties over differential and difference fields
• Minimal groups in separably closed fields
• Model theory of difference fields
• Notes on the stability of separably closed fields
• Separably closed fields with Hasse derivations
• Separably closed fields with higher derivations I
• The model theory of differential fields revisited

Cited in

(9)

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

This page was built for publication: Geometric axioms for existentially closed Hasse fields

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