Hilbert's Tenth Problem over number fields, a survey
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Multiplicative and norm form equations (11D57) Diophantine equations in many variables (11D72) Algebraic numbers; rings of algebraic integers (11R04) Decidability (number-theoretic aspects) (11U05)
Hilbert's tenth problem asks for an algorithm which, given an arbitrary diophantine equation, checks the equation for having or not having integer solutions. The final answer to the problem is negative: no such algorithm exists. But what if one asks the similar question for the ring of integers of a number field, such as \(\mathbb{Z}[i]\) (the Gaussian integers)? Should an algorithm exist for any one such ring (therefore, by known arguments, also for any such ring that contains this one), Hilbert's tenth problem may be thought of as having an essentially positive answer -- with \(\mathbb{Z}\) being an exception. Work on the generalized problem has been initiated by Denef and Lipshitz, who produced a number of negative results and conjectured that the answer is in general negative. The author, who has herself produced similar results, presents an account of the existing results and organizes some of the known methods of proof in a way that a new researcher on this subject will appreciate. For the entire collection see [Zbl 0955.00034].
- Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
- Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
- Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
- On Rumely's local-global principle
- Diophantine definability and decidability in extensions of degree 2 of totally real fields
- On the expressiveness and decidability of o-minimal hybrid systems
- Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
- Existential Diophantine definability of string length
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
- Diagonal quadratic forms and Hilbert's Tenth Problem
- Hilbert’s Tenth Problem for Subrings of $${\mathbb {Q}}$$ and Number Fields (Extended Abstract)
- Defining integers
- Extensions of Hilbert's tenth problem: definability and decidability in number theory
- Hilbert's tenth problem. Diophantine classes and extensions to global fields
- Extension of Hilbert's tenth problem to some algebraic number fields
- Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
- Diophantine relationships between algebraic number fields
- Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
- scientific article; zbMATH DE number 468873 (Why is no real title available?)
- Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
- scientific article; zbMATH DE number 1531933 (Why is no real title available?)
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ
- Decidability in local and global fields
- Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\)
- Rational homotopy type and computability
- Superficies elípticas y el décimo problema de Hilbert
- Hilbert's tenth problem for weak theories of arithmetic
- What can and cannot be done with Diophantine problems
- Decidability questions for a ring of Laurent polynomials
- Division-ample sets and the Diophantine problem for rings of integers
- Further results on Hilbert's tenth problem
- Hilbert's tenth problem for fields of rational functions over finite fields
- Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic
- Ranks of twists of elliptic curves and Hilbert's tenth problem
This page was built for publication: Hilbert's Tenth Problem over number fields, a survey
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2715530)
