Existentially closed fields with finite group actions

DOI10.1142/S0219061318500034zbMath1406.03052arXiv1604.03581MaRDI QIDQ4565756

Piotr Kowalski, Daniel Max Hoffmann

Publication date: 13 June 2018

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

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

zbMATH Keywords

difference fieldsmodel companionexistential closednessfields with group actions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Group schemes (14L15) Quantifier elimination, model completeness, and related topics (03C10) Difference algebra (12H10)

Related Items

Model theory of differential fields with finite group actions ⋮ An AEC framework for fields with commuting automorphisms ⋮ MODEL THEORY OF GALOIS ACTIONS OF TORSION ABELIAN GROUPS ⋮ MODEL THEORY OF FIELDS WITH FINITE GROUP SCHEME ACTIONS ⋮ Galois actions of finitely generated groups rarely have model companions ⋮ On Galois groups and PAC substructures ⋮ Model theoretic dynamics in Galois fashion ⋮ Model theory of fields with free operators in positive characteristic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Integrating Hasse-Schmidt derivations
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Generic structures and simple theories
• Generic automorphisms of fields
• The definable multiplicity property and generic automorphisms
• Geometric axioms for existentially closed Hasse fields
• The elementary theory of finite fields
• Simplicity Theory
• Generalized Hasse-Schmidt varieties and their jet spaces
• MODEL THEORY OF DIFFERENCE FIELDS, II: PERIODIC IDEALS AND THE TRICHOTOMY IN ALL CHARACTERISTICS
• Existentially closed fields withG-derivations
• Derivations of the Frobenius map
• Field Arithmetic
• Model theory of difference fields
• Separably closed fields with Hasse derivations
• Model theory of fields with free operators in characteristic zero
• GEOMETRIC REPRESENTATION IN THE THEORY OF PSEUDO-FINITE FIELDS
• Tannakian Formalism Over Fields with Operators
• The Manin-Mumford conjecture and the model theory of difference fields