The undecidability of cyclotomic towers
HTML articles powered by AMS MathViewer
- by Carlos R. Videla PDF
- Proc. Amer. Math. Soc. 128 (2000), 3671-3674 Request permission
Abstract:
Let $\mathbb {Q}(p^\infty )$ be the field obtained by adjoining to $\mathbb {Q}$ all $p$–power roots of unity where $p$ is a prime number. We prove that the theory of $\mathbb {Q}(p^\infty )$ is undecidable.References
- 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
- 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
- David E. Rohrlich, On $L$-functions of elliptic curves and anticyclotomic towers, Invent. Math. 75 (1984), no. 3, 383–408. MR 735332, DOI 10.1007/BF01388635
- Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR 817210, DOI 10.1007/978-1-4757-1920-8
- Joseph H. Silverman, Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 151, Springer-Verlag, New York, 1994. MR 1312368, DOI 10.1007/978-1-4612-0851-8
- C.R. Videla, Definability of the ring of integers in pro–$p$ extensions of numbers fields, submitted (1997).
Additional Information
- Carlos R. Videla
- Affiliation: Departamento de Matemáticas, CINVESTAV–IPN, A. Postal 14–740, México, D.F. 07000, México
- MR Author ID: 178355
- Email: cvidela@math.cinvestav.mx
- Received by editor(s): November 23, 1998
- Received by editor(s) in revised form: February 1, 1999
- Published electronically: June 7, 2000
- Communicated by: Carl G. Jockusch, Jr.
- © Copyright 2000 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 128 (2000), 3671-3674
- MSC (1991): Primary 03B25, 12L05
- DOI: https://doi.org/10.1090/S0002-9939-00-05544-1
- MathSciNet review: 1694882