Proceedings of the American Mathematical Society

Author(s): Carlos R. Videla
Journal: Proc. Amer. Math. Soc. 128 (2000), 3671-3674.
MSC (1991): Primary 03B25, 12L05
Posted: June 7, 2000
Retrieve article in: PDF
This article is available free of charge

Let $\mathbb{Q}(p^\infty)$ be the field obtained by adjoining to $\mathbb{Q}$ all

-power roots of unity where

is a prime number. We prove that the theory of $\mathbb{Q}(p^\infty )$ is undecidable.

[1]: L. van den Dries, Elimination theory for the ring of algebraic integers, J. reine angew. Math. 388 (1988), 189-205. MR 89k:03038
[2]: J. Robinson, On the decision problem for algebraic rings, Studies in Mathematical Analysis and Related Topics, Standford Univ. Press, Standford 1962, 297-304. MR 26:3609
[3]: D.E. Rohrlich, On -functions of elliptic curves and cyclotomic towers, Invent. Math. 75 (1984), 409-423. MR 86g:11038b
[4]: J. Silverman, The arithmetic of Elliptic Curves, G.T.M. 106, Springer-Verlag, New York 1986. MR 87g:11070
[5]: J. Silverman, Advanced Topics in the Arithmetic of Elliptic Curves, G.T.M 151, Springer-Verlag, New York 1994. MR 96b:11074
[6]: C.R. Videla, Definability of the ring of integers in pro- extensions of numbers fields, submitted (1997).

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 03B25, 12L05

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-6826 (e) ISSN 0002-9939 (p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2009, American Mathematical Society Privacy Statement		Search the AMS