Publication:4737473

zbMath1057.11068arXivmath/0204001MaRDI QIDQ4737473

Bjorn Poonen

Publication date: 11 August 2004

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

zbMATH Keywords

rings of integers; number fields; decidability; Hilbert's Tenth problem

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

11G05: Elliptic curves over global fields

03D35: Undecidability and degrees of sets of sentences

Related Items

Existential definability with bounds on archimedean valuations, 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, Representation of squares by monic second degree polynomials in the field of 𝑝-adic meromorphic functions, Existential definability and diophantine stability, Rational homotopy type and computability, Eager Equality for Rational Number Arithmetic, Superficies elípticas y el décimo problema de Hilbert, Definability and decidability for rings of integers in totally imaginary fields, A survey on Büchi's problem: new presentations and open problems, Primitive divisors, dynamical Zsigmondy sets, and Vojta's conjecture, Decidability questions for a ring of Laurent polynomials, Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points, Division-ample sets and the Diophantine problem for rings of integers, Defining the integers in large rings of a number field using one universal quantifier, Ranks of twists of elliptic curves and Hilbert's tenth problem, Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank, First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers, Existential decidability for addition and divisibility in holomorphy subrings of global fields, Diophantine definability and decidability in extensions of degree 2 of totally real fields, Elliptic curves, \(L\)-functions, and Hilbert's tenth problem, First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0, Prime divisors in polynomial orbits over function 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