Diophantine Sets over Some Rings of Algebraic Integers
From MaRDI portal
Publication:4182610
DOI10.1112/JLMS/S2-18.3.385zbMATH Open0399.10049OpenAlexW2011938854MaRDI QIDQ4182610FDOQ4182610
Authors: Jan Denef, Leonard Lipshitz
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
DecidabilityDiophantine ProblemsHilbert's 10th ProblemRing of Algebraic IntegersRing of Rational Integers
Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05)
Cited In (41)
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
- REMARKS ON HILBERT’S TENTH PROBLEM AND THE IWASAWA THEORY OF ELLIPTIC CURVES
- Further results on Hilbert's tenth problem
- Hilbert's tenth problem in anticyclotomic towers of number fields
- Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ
- Diophantine undecidability of holomorphy rings of function fields of characteristic 0
- Superficies elípticas y el décimo problema de Hilbert
- An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields
- Ranks of twists of elliptic curves and Hilbert's tenth problem
- Defining \(\mathbb{Z}\) using unit groups
- Existential definability and diophantine stability
- Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- Decidable Sentences Over Polynomial Rings
- Full rank presentations and nilpotent groups: structure, Diophantine problem, and genericity
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007
- Defining integrality at prime sets of high density in number fields.
- Julia Robinson numbers
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- Rational homotopy type and computability
- First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
- Studying Hilbert's 10th problem via explicit elliptic curves
- Existential decidability for addition and divisibility in holomorphy subrings of global fields
- 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
- Diophantine Sets Over Algebraic Integer Rings. II
- DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
- NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
- Existential definability with bounds on archimedean valuations
- The Diophantine problem in the classical matrix groups
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic
- Diophantine problems in solvable groups
- The Diophantine problem in some metabelian groups
- The logic of pseudo-\(S\)-integers
- Hilbert's tenth problem for fields of rational functions over finite fields
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
This page was built for publication: Diophantine Sets over Some Rings of Algebraic Integers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4182610)