Undecidability of ℚ⁽²⁾

Martínez-Ranero, Carlos; Utreras, Javier; Videla, Carlos

doi:10.1090/proc/14849

Undecidability of $\mathbb {Q}^{(2)}$
HTML articles powered by AMS MathViewer

by Carlos Martínez-Ranero, Javier Utreras and Carlos R. Videla PDF

Proc. Amer. Math. Soc. 148 (2020), 961-964 Request permission

Abstract:

It is shown that the compositum $\mathbb {Q}^{(2)}$ of all degree 2 extensions of $\mathbb {Q}$ has undecidable theory.

References

Enrico Bombieri and Umberto Zannier, A note on heights in certain infinite extensions of $\Bbb Q$, Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei (9) Mat. Appl. 12 (2001), 5–14 (2002) (English, with English and Italian summaries). MR 1898444
Michael D. Fried, Dan Haran, and Helmut Völklein, Real Hilbertianity and the field of totally real numbers, Arithmetic geometry (Tempe, AZ, 1993) Contemp. Math., vol. 174, Amer. Math. Soc., Providence, RI, 1994, pp. 1–34. MR 1299732, DOI 10.1090/conm/174/01849
Kenji Fukuzaki, Definability of the ring of integers in some infinite algebraic extensions of the rationals, MLQ Math. Log. Q. 58 (2012), no. 4-5, 317–332. MR 2965419, DOI 10.1002/malq.201110020
Jochen Koenigsmann, Undecidability in number theory, Model theory in algebra, analysis and arithmetic, Lecture Notes in Math., vol. 2111, Springer, Heidelberg, 2014, pp. 159–195. MR 3330199, DOI 10.1007/978-3-642-54936-6_{5}
Julia Robinson, On the decision problem for algebraic rings, Studies in mathematical analysis and related topics, Stanford Univ. Press, Stanford, Calif., 1962, pp. 297–304. MR 0146083
Julia Robinson, The decision problem for fields, Theory of Models (Proc. 1963 Internat. Sympos. Berkeley), North-Holland, Amsterdam, 1965, pp. 299–311. MR 0200163
Robert S. Rumely, Arithmetic over the ring of all algebraic integers, J. Reine Angew. Math. 368 (1986), 127–133. MR 850618, DOI 10.1515/crll.1986.368.127
Alexandra Shlapentokh, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Israel J. Math. 226 (2018), no. 2, 579–633. MR 3819703, DOI 10.1007/s11856-018-1708-y
Lou van den Dries, Elimination theory for the ring of algebraic integers, J. Reine Angew. Math. 388 (1988), 189–205. MR 944190, DOI 10.1515/crll.1988.388.189
Carlos R. Videla, Definability of the ring of integers in pro-$p$ Galois extensions of number fields, Israel J. Math. 118 (2000), 1–14. MR 1776073, DOI 10.1007/BF02803513
Xavier Vidaux and Carlos R. Videla, A note on the Northcott property and undecidability, Bull. Lond. Math. Soc. 48 (2016), no. 1, 58–62. MR 3455748, DOI 10.1112/blms/bdv089
Lawrence C. Washington, Introduction to cyclotomic fields, 2nd ed., Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1997. MR 1421575, DOI 10.1007/978-1-4612-1934-7