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

DOI10.1090/S0002-9939-2015-12592-0zbMATH Open1392.03023MaRDI QIDQ2944799FDOQ2944799

Authors: Xavier Vidaux, Carlos Videla 

Publication date: 8 September 2015

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

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

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)

Cites Work

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

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

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)