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

DOI10.1007/BF02803513zbMath0984.03034OpenAlexW1132965784MaRDI 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

decidabilitydefinabilityring of algebraic integersnumbers constructible by rulers and compass

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory (number-theoretic aspects) (11U09)

Related Items (12)

Definability of the ring of integers in some infinite algebraic extensions of the rationals ⋮ 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 ⋮ Northcott numbers for the house and the Weil height ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ A note on the Northcott property and undecidability ⋮ Undecidability of ℚ⁽²⁾ ⋮ On the Northcott property and local degrees ⋮ Definability and decidability in infinite algebraic extensions

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

This page was built for publication: Definability of the ring of integers in pro-\(p\) Galois extensions of number fields