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

DOI10.1090/S0002-9939-2015-12592-0MaRDI QIDQ2944799zbMATH OpenFDO

Authors Xavier Vidaux, Carlos Videla

Publication date 8 September 2015

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

Mathematics Subject Classification ID

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

Recommendations

• Julia Robinson numbers
• La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)
• Arithmetic definability by formulas with two quantifiers
• Definability in number fields
• Definability of the ring of integers in some infinite algebraic extensions of the rationals

Cites work

• scientific article; zbMATH DE number 705075 (Why is no real title available?)
• scientific article; zbMATH DE number 3190335 (Why is no real title available?)
• Arithmetic over the rings of all algebraic integers.
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
• Elimination theory for the ring of algebraic integers.
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• On Diophantine definability and decidability in some infinite totally real extensions of ℚ
• Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
• The undecidability of cyclotomic towers
• UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS
• Undecidability in number theory

Cited in

(13)

• Definability and decidability for rings of integers in totally imaginary fields
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's
• A dynamical characterization for monogenity at every level of some infinite \(2\)-towers
• Julia Robinson numbers
• A note on the Northcott property and undecidability
• Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
• Northcott numbers for the weighted Weil heights
• Defining \(\mathbb{Z}\) using unit groups
• Universal quadratic forms and Northcott property of infinite number fields
• Diophantine approximations. Abstracts from the workshop held April 17--23, 2022
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• Northcott numbers for the house and the Weil height

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2944799)