Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields

DOI10.1515/crll.2005.2005.588.27zbMath1139.11056arXivmath/0408271MaRDI QIDQ5711478

Bjorn Poonen, Alexandra Shlapentokh

Publication date: 6 December 2005

Published in: Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

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

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

11G05: Elliptic curves over global fields

03B25: Decidability of theories and sets of sentences

11G35: Varieties over global fields

11D72: Diophantine equations in many variables

03C40: Interpolation, preservation, definability

Related Items

Julia Robinson numbers, 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, Defining the integers in large rings of a number field using one universal quantifier, 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, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Diophantine definability and decidability in extensions of degree 2 of totally real fields, ELLIPTIC CURVE POINTS AND DIOPHANTINE MODELS OF ℤ IN LARGE SUBRINGS OF NUMBER FIELDS, 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, Descent on elliptic curves and Hilbert’s tenth problem