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 definabilityHilbert's tenth problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model theory (number-theoretic aspects) (11U09) Basic properties of first-order languages and structures (03C07)

Related Items (4)

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 ⋮ 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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: On Diophantine definability and decidability in some infinite totally real extensions of ℚ