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
Additional Information
- Carlos Martínez-Ranero
- Affiliation: Facultad de Ciencias Físicas y Matemáticas, Departamento de Matemática, Universidad de Concepción, Concepción, Chile
- Email: cmartinezr@udec.cl
- Javier Utreras
- Affiliation: Facultad de Ciencias Físicas y Matemáticas, Departamento de Matemática, Universidad de Concepción, Concepción, Chile
- Email: javierutreras@udec.cl
- Carlos R. Videla
- Affiliation: Department of Mathematics and Computing, Mount Royal University, Calgary,, Canada
- MR Author ID: 178355
- Email: cvidela@mtroyal.ca
- Received by editor(s): August 30, 2018
- Received by editor(s) in revised form: May 17, 2019, and July 1, 2019
- Published electronically: December 6, 2019
- Additional Notes: The first-named author was supported by Proyecto VRID-Enlace No. 218.015.022-1.0
The second-named author was supported by FONDECYT-Postdoctorado No. 3160301
Part of this work was done while the third author was visiting X. Vidaux in Concepción during May 2018 under Conicyt Project: Fondecyt 1170315 - Communicated by: Heike Mildenberger
- © Copyright 2019 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 148 (2020), 961-964
- MSC (2010): Primary 11U05; Secondary 03B25, 11R11
- DOI: https://doi.org/10.1090/proc/14849
- MathSciNet review: 4055926