On Diophantine definability and decidability in some infinite totally real extensions of ℚ

DOI10.1090/S0002-9947-03-03343-9zbMath1052.11082MaRDI QIDQ4813802

Alexandra Shlapentokh

Publication date: 13 August 2004

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

zbMATH Keywords

Diophantine definability; Hilbert's tenth problem

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

11U09: Model theory (number-theoretic aspects)

03C07: Basic properties of first-order languages and structures

Related Items

Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank, Diophantine undecidability of holomorphy rings of function fields of characteristic 0, Diophantine definability and decidability in extensions of degree 2 of totally real fields, Definability of the natural numbers in totally real towers of nested square roots

Cites Work

• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• Diophantine classes of holomorphy rings of global fields
• Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
• On Rumely's local-global principle
• Introduction to quadratic forms
• Defining integrality at prime sets of high density in number fields.
• The Undecidability of Algebraic Rings and Fields
• Extension of Hilbert's tenth problem to some algebraic number fields
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Diophantine relationships between algebraic number fields
• Arithmetic over the rings of all algebraic integers.
• Diophantine Sets Over Algebraic Integer Rings. II
• Hilbert's Tenth Problem for Quadratic Rings
• Diophantine Sets over Some Rings of Algebraic Integers
• Questions of decidability and undecidability in Number Theory
• Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
• Hilbert's Tenth Problem is Unsolvable
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Definability and decision problems in arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item