Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields

Jamshid Derakhshan; Angus Macintyre

doi:10.5802/cml.96

Model completeness for finitely ramified Henselian fields valued in a

ℤ

-group and for pseudo-algebraically closed fields

Jamshid Derakhshan ¹ ; Angus Macintyre ²

¹ St. Hilda’s College, University of Oxford, Cowley Place, Oxford OX4 1DY, UK
² School of Mathematics, University of Edinburgh, James Clerk Maxwell Building, Peter Guthrie Tait Road Edinburgh EH9 3FD, UK

Confluentes Mathematici, Tome 15 (2023), pp. 137-147.

Résumé

We prove that the theory of a finitely ramified Henselian valued field of characteristic zero with perfect residue field of positive characteristic whose value group is a $ℤ$ -group is model-complete in the language of rings if the theory of its residue field is model-complete in the language of rings. This extends results of Ax–Kochen [4], Macintyre [15], Ziegler [22], Basarab [5], and Prestel–Roquette [17].

We also prove that the theory of a perfect pseudo-algebraically closed (PAC) field $K$ such that the absolute Galois group $Gal (K)$ is pro-cyclic is model-complete in the language of rings if and only if every finite algebraic extension of $K$ is generated by elements that are algebraic over the prime subfield of $K$ .

From these we deduce that every infinite algebraic extension of the field of $p$ -adic numbers $ℚ_{p}$ with finite ramification is model-complete in the language of rings.

Our proofs of model completeness for Henselian fields use only basic model-theoretic and algebraic tools including Cohen’s structure theorems for complete local rings and basic results on coarsenings of valuations. These enable us to obtain short proofs of model completeness in the language of rings without any need to extend the ring language.

Our proofs on PAC fields use the model theory of the absoute Galois group dual to the field and elementary invariants given by Cherlin–van den Dries–Macintyre [8] for the theory of PAC fields generalizing Ax’s results for the pseudo-finite case [3].

Reçu le : 2022-05-05
Révisé le : 2023-06-21
Accepté le : 2023-11-09
Publié le : 2024-11-13

DOI : 10.5802/cml.96

Classification : 03C10, 12E30, 12J20, 12L12, 13J15
Mots clés : model theory, model completeness, Henselian valued fields, pseudo-algebraically closed fields

Affiliations des auteurs :

Jamshid Derakhshan ¹ ; Angus Macintyre ²

¹ St. Hilda’s College, University of Oxford, Cowley Place, Oxford OX4 1DY, UK
² School of Mathematics, University of Edinburgh, James Clerk Maxwell Building, Peter Guthrie Tait Road Edinburgh EH9 3FD, UK

Licence :

CC-BY-NC-ND 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{CML_2023__15__137_0,
     author = {Jamshid Derakhshan and Angus Macintyre},
     title = {Model completeness for finitely ramified {Henselian} fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields},
     journal = {Confluentes Mathematici},
     pages = {137--147},
     publisher = {Institut Camille Jordan},
     volume = {15},
     year = {2023},
     doi = {10.5802/cml.96},
     language = {en},
     url = {https://cml.centre-mersenne.org/articles/10.5802/cml.96/}
}

TY  - JOUR
AU  - Jamshid Derakhshan
AU  - Angus Macintyre
TI  - Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields
JO  - Confluentes Mathematici
PY  - 2023
SP  - 137
EP  - 147
VL  - 15
PB  - Institut Camille Jordan
UR  - https://cml.centre-mersenne.org/articles/10.5802/cml.96/
DO  - 10.5802/cml.96
LA  - en
ID  - CML_2023__15__137_0
ER  -

%0 Journal Article
%A Jamshid Derakhshan
%A Angus Macintyre
%T Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields
%J Confluentes Mathematici
%D 2023
%P 137-147
%V 15
%I Institut Camille Jordan
%U https://cml.centre-mersenne.org/articles/10.5802/cml.96/
%R 10.5802/cml.96
%G en
%F CML_2023__15__137_0

Jamshid Derakhshan; Angus Macintyre. Model completeness for finitely ramified Henselian fields valued in a $\mathbb{Z}$-group and for pseudo-algebraically closed fields. Confluentes Mathematici, Tome 15 (2023), pp. 137-147. doi : 10.5802/cml.96. https://cml.centre-mersenne.org/articles/10.5802/cml.96/

Bibliographie
Cité par

[1] Sylvy Anscombe; Philip Dittman; Franziska Jahnke Ax–Kochen–Ershov theorems for finitely ramified Henselian fields (2023) (to appear, arXiv:2305.12145)

[2] Sylvy Anscombe; Franziska Jahnke The model theory of Cohen rings, Confluentes Math., Volume 14 (2022) no. 2, pp. 1-28 | DOI | Numdam | Zbl

[3] James Ax The elementary theory of finite fields, Ann. Math., Volume 88 (1968), pp. 239-271 | DOI | Zbl

[4] James Ax; Simon Kochen Diophantine problems over local fields III. decidable fields, Ann. Math., Volume 83 (1966), pp. 437-456 | DOI | Zbl

[5] Serban A. Basarab Some model theory for Henselian valued fields, J. Algebra, Volume 55 (1978) no. 2, pp. 191-212 | DOI | Zbl

[6] Luc Bélair Substructures and uniform elimination for $p$ -adic fields, Ann. Pure Appl. Logic, Volume 39 (1988) no. 1, pp. 1-17 | DOI | Zbl

[7] Gregory Cherlin; Lou van den Dries; Angus J. Macintyre Decidability and undecidability theorems for PAC-fields, Bull. Am. Math. Soc., Volume 4 (1981) no. 1, pp. 101-104 | DOI | Zbl

[8] Gregory Cherlin; Lou van den Dries; Angus J. Macintyre The elementary theory of regularly closed fields, 1981 (preprint)

[9] Jamshid Derakhshan; Angus Macintyre Model theory of Abelian groups that are finite-by-Presburger and applications to $p$ -adic fields (To appear in Model Theory, Landscapes in Logic. Edited by Ali Sadegh Daghighi, Jamshid Derakhshan, Massoud Pourmahdian, College Publications, London)

[10] Michael D. Fried; Moshe Jarden Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, 11, Springer, 2008 | DOI | Zbl

[11] Moshe Jarden Elementary statements over large algebraic fields, Trans. Am. Math. Soc., Volume 164 (1972), pp. 67-91 | DOI | Zbl

[12] Moshe Jarden; Ursel Kiehne The elementary theory of algebraic fields of finite corank, Invent. Math., Volume 30 (1975) no. 3, pp. 275-294 | DOI | Zbl

[13] Simon Kochen The model theory of local fields, ISILC Logic Conference. Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Lecture Notes in Mathematics), Volume 499, Springer, 1975, pp. 384-425 | Zbl

[14] Jochen Koenigsmann Decidability in local and global fields, Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures, World Scientific; Sociedade Brasileira de Matemática (SBM), 2018, pp. 45-59 | DOI | Zbl

[15] Angus J. Macintyre On definable subsets of $p$ -adic fields, J. Symb. Log., Volume 41 (1976), pp. 605-610 | DOI | Zbl

[16] Alexander Prestel Definable Henselian valuation rings, J. Symb. Log., Volume 80 (2015) no. 4, pp. 1260-1267 | DOI | Zbl

[17] Alexander Prestel; Peter Roquette Formally $p$ -adic fields, Lecture Notes in Mathematics, 1050, Springer, 1984 | DOI | Zbl

[18] Otto F. G. Schilling The Theory of Valuations, Mathematical Surveys, 4, American Mathematical Society, 1950 | DOI | Zbl

[19] Jean-Pierre Serre Local fields, Graduate Texts in Mathematics, 67, Springer, 2016 | Zbl

[20] Lou van den Dries Lectures on the model theory of valued fields, Model Theory in Algebra, Analysis, and Arithmetic (Lecture Notes in Mathematics; CIME Foundation Subseries), Volume 2111, Springer; Fondazione CIME, 2014, pp. 55-157 | DOI | Zbl

[21] Elias Zakon Model Completeness and Elementary properties of torsion free abelian groups, Can. J. Math., Volume 26 (1974) no. 4, pp. 829-840 | DOI | Zbl

[22] Martin Ziegler Die Elementare Theorie der Henselschen Korper, Ph. D. Thesis, Köln, University, Germany (1972)

Cité par Sources :