Definability of the natural numbers in totally real towers of nested square roots

DOI10.1090/S0002-9939-2015-12592-0zbMath1392.03023MaRDI QIDQ2944799

Xavier Vidaux, Carlos R. Videla

Publication date: 8 September 2015

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

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Totally real fields (11R80)

Related Items (10)

A dynamical characterization for monogenity at every level of some infinite -towers ⋮ Northcott numbers for the house and the Weil height ⋮ Northcott numbers for the weighted Weil heights ⋮ Julia Robinson numbers and arithmetical dynamic of quadratic polynomials ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ Diophantine approximations. Abstracts from the workshop held April 17--23, 2022 ⋮ Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ ⋮ A note on the Northcott property and undecidability ⋮ Julia Robinson numbers ⋮ Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's

Cites Work

• Unnamed Item
• Unnamed Item
• Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
• Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Arithmetic over the rings of all algebraic integers.
• Elimination theory for the ring of algebraic integers.
• The undecidability of cyclotomic towers
• On Diophantine definability and decidability in some infinite totally real extensions of ℚ
• Undecidability in Number Theory
• UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS

This page was built for publication: Definability of the natural numbers in totally real towers of nested square roots