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

DOI10.1515/CRLL.2005.2005.588.27zbMath1139.11056arXivmath/0408271OpenAlexW3101479008MaRDI 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

Decidability (number-theoretic aspects) (11U05) Elliptic curves over global fields (11G05) Decidability of theories and sets of sentences (03B25) Varieties over global fields (11G35) Diophantine equations in many variables (11D72) Interpolation, preservation, definability (03C40)

Related Items (14)

Diophantine definability and decidability in extensions of degree 2 of totally real 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 ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers ⋮ On existential definitions of c.e. subsets of rings of functions of characteristic 0 ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Positive existential definability of multiplication from addition and the range of a polynomial ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ Descent on elliptic curves and Hilbert’s tenth problem ⋮ Julia Robinson numbers ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0

This page was built for publication: Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields