Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
From MaRDI portal
Publication:1365349
DOI10.1007/s002220050170zbMath0887.11053OpenAlexW2087721808MaRDI QIDQ1365349
Publication date: 25 May 1998
Published in: Inventiones Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s002220050170
Related Items
Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ Rational separability of the integral closure ⋮ 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 ℚ ⋮ 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 ⋮ Hilbert's tenth problem for rings of rational functions ⋮ Defining integrality at prime sets of high density in number fields. ⋮ Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic ⋮ Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory ⋮ Defining Integers ⋮ Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 ⋮ Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$ ⋮ Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank ⋮ Julia Robinson numbers ⋮ 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 ⋮ DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES ⋮ On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0