Publication:2715538
From MaRDI portal
zbMath0982.14014arXivmath/0006140MaRDI QIDQ2715538
Zahidi, Karim, Gunther Cornelissen
Publication date: 26 July 2001
Full work available at URL: https://arxiv.org/abs/math/0006140
Diophantine model; ring language; Mazur's conjectures; topological closure of the set of rational points
11U05: Decidability (number-theoretic aspects)
14G05: Rational points
03C99: Model theory
03D35: Undecidability and degrees of sets of sentences
Related Items
Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$, On Diophantine definability and decidability in some infinite totally real extensions of ℚ, NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES, As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields, Positive existential definability of multiplication from addition and the range of a polynomial, What can and cannot be done with Diophantine problems, Division-ample sets and the Diophantine problem for rings of integers, Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic, Diophantine undecidability of holomorphy rings of function fields of characteristic 0, Diophantine definability and decidability in extensions of degree 2 of totally real fields, First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory, Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers