As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields

DOI10.1090/tran/7075zbMath1427.11142arXiv1601.07158OpenAlexW2963063319MaRDI QIDQ5369029

Alexandra Shlapentokh, Jennifer Park, Kirsten Eisenträger, Russell G. Miller

Publication date: 11 October 2017

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

Full work available at URL: https://arxiv.org/abs/1601.07158

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Theory of numerations, effectively presented structures (03D45)

Related Items (5)

Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q ⋮ HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ The Hilbert's-tenth-problem operator ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Non-coding enumeration operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Additional results to a theorem of Eisenträger and Everest
• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• Division-ample sets and the Diophantine problem for rings of integers
• Hilbert's tenth problem for fields of rational functions over finite fields
• Ranks of twists of elliptic curves and Hilbert's tenth problem
• The decision problem for exponential diophantine equations
• 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
• Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic
• Hilbert's tenth problem for algebraic function fields of characteristic 2.
• Defining integrality at prime sets of high density in number fields.
• Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
• Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields
• A universal first-order formula defining the ring of integers in a number field
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• Extension of Hilbert's tenth problem to some algebraic number fields
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
• Descent on elliptic curves and Hilbert’s tenth problem
• Undecidability in Function Fields of Positive Characteristic
• An Undecidability Result for Power Series Rings of Positive Characteristic
• An Undecidability Result for Power Series Rings of Positive Characteristic. II
• Diophantine Sets Over Algebraic Integer Rings. II
• Diophantine Sets over Some Rings of Algebraic Integers
• Hilbert's Tenth Problem for Rational Function Fields in Characteristic 2
• Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
• Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields
• Definability and decision problems in arithmetic
• Defining \(\mathbb Z\) in \(\mathbb Q\)

This page was built for publication: As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields