Definability of the ring of integers in pro-\(p\) Galois extensions of number fields

DOI10.1007/BF02803513zbMath0984.03034MaRDI QIDQ1580494

Carlos R. Videla

Publication date: 25 January 2001

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02803513

zbMATH Keywords

decidability; definability; ring of algebraic integers; numbers constructible by rulers and compass

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

11U09: Model theory (number-theoretic aspects)

Related Items

On the Northcott property and local degrees, Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ, Undecidability of ℚ⁽²⁾, Northcott numbers for the house and the Weil height, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Definability and decidability in infinite algebraic extensions, A note on the Northcott property and undecidability, Definability of the ring of integers in some infinite algebraic extensions of the rationals, Definability of the natural numbers in totally real towers of nested square roots, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory

Cites Work

• The Undecidability of Algebraic Rings and Fields
• Undecidability and Definability for the Theory of Global Fields
• On the constructible numbers
• Metamathematical problems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item