Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$

DOI10.1090/S0894-0347-03-00433-8zbMath1028.11077arXivmath/0306277OpenAlexW1619977925WikidataQ123191264 ScholiaQ123191264MaRDI QIDQ4419573

Bjorn Poonen

Publication date: 13 August 2003

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

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

zbMATH Keywords

elliptic curveHilbert's tenth problemMazur's conjecturediophantine definition

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Rational points (14G05) Elliptic curves over global fields (11G05) Undecidability and degrees of sets of sentences (03D35)

Related Items

Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ ALGEBRAIC DIVISIBILITY SEQUENCES OVER FUNCTION FIELDS ⋮ Defining the integers in large rings of a number field using one universal quantifier ⋮ ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ Baire Category Theory and Hilbert’s Tenth Problem Inside $$\mathbb {Q}$$ Q ⋮ HTP-COMPLETE RINGS OF RATIONAL NUMBERS ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of \(\mathbb Q\) ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ THE DIOPHANTINE PROBLEM FOR ADDITION AND DIVISIBILITY OVER SUBRINGS OF THE RATIONALS ⋮ Additional results to a theorem of Eisenträger and Everest ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Elliptic nets and elliptic curves ⋮ Hilbert's tenth problem for rings of rational functions ⋮ Martin Davis and Hilbert’s Tenth Problem ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Recursively enumerable sets of polynomials over a finite field are Diophantine ⋮ Defining Integers ⋮ Arithmetic of K3 Surfaces ⋮ Prime power terms in elliptic divisibility sequences ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ What can and cannot be done with Diophantine problems ⋮ Descent on elliptic curves and Hilbert’s tenth problem ⋮ Julia Robinson numbers ⋮ Primitive divisors of sequences associated to elliptic curves over function fields ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 ⋮ The number of solutions of a diophantine equation over a recursive ring

Cites Work

• Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
• Wieferich's criterion and the abc-conjecture
• The decision problem for exponential diophantine equations
• Quelques applications du théorème de densité de Chebotarev
• 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
• Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves)
• Defining integrality at prime sets of high density in number fields.
• Galois properties of points of finite order of elliptic curves
• Hilbert’s Tenth Problem: Relations with Arithmetic and Algebraic Geometry
• Memoir on Elliptic Divisibility Sequences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item