The undecidability of cyclotomic towers

DOI10.1090/S0002-9939-00-05544-1zbMath0957.03013MaRDI QIDQ4508178

Carlos R. Videla

Publication date: 3 October 2000

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

decidabilitydecision problemabelian extensionundecidability of the field obtained by adjoining to the rationals all \(p\)-power roots of unity

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (5)

First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Definability of the natural numbers in totally real towers of nested square roots ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ Definability and decidability in infinite algebraic extensions

Cites Work

• Unnamed Item
• Unnamed Item
• On \(L\)-functions of elliptic curves and cyclotomic towers
• Elimination theory for the ring of algebraic integers.

This page was built for publication: The undecidability of cyclotomic towers