Diophantine Sets over Some Rings of Algebraic Integers

DOI10.1112/jlms/s2-18.3.385zbMath0399.10049OpenAlexW2011938854MaRDI QIDQ4182610

Publication date: 1978

Published in: Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/jlms/s2-18.3.385

zbMATH Keywords

Decidability Diophantine Problems Hilbert's 10th Problem Ring of Algebraic Integers Ring of Rational Integers

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25)

Related Items (38)

Division-ample sets and the Diophantine problem for rings of integers ⋮ The Diophantine problem in the classical matrix groups ⋮ Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of $\mathbb{Q}$ ⋮ Further results on Hilbert's tenth problem ⋮ Diophantine Sets Over Algebraic Integer Rings. II ⋮ Diophantine definability and decidability in extensions of degree 2 of totally real fields ⋮ On Diophantine definability and decidability in some infinite totally real extensions of ℚ ⋮ NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES ⋮ 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 ⋮ Elliptic curves, $L$-functions, and Hilbert's tenth problem ⋮ Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0. ⋮ The logic of pseudo-$S$-integers ⋮ Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity ⋮ Existential definability and diophantine stability ⋮ Rational homotopy type and computability ⋮ An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields ⋮ Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers ⋮ REMARKS ON HILBERT’S TENTH PROBLEM AND THE IWASAWA THEORY OF ELLIPTIC CURVES ⋮ Superficies elípticas y el décimo problema de Hilbert ⋮ The Diophantine problem in some metabelian groups ⋮ Hilbert's tenth problem for fields of rational functions over finite fields ⋮ As easy as $\mathbb {Q}$: Hilbert’s Tenth Problem for subrings of the rationals and number fields ⋮ 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 ⋮ Existential definability with bounds on archimedean valuations ⋮ Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 ⋮ Ranks of twists of elliptic curves and Hilbert's tenth problem ⋮ Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 ⋮ Rings of algebraic numbers in infinite extensions of $\mathbb Q$ and elliptic curves retaining their rank ⋮ Decidable Sentences Over Polynomial Rings ⋮ Julia Robinson numbers ⋮ Diophantine undecidability of holomorphy rings of function fields of characteristic 0 ⋮ Diophantine problems in solvable groups ⋮ Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points ⋮ 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

This page was built for publication: Diophantine Sets over Some Rings of Algebraic Integers