Extensions of Hilbert's tenth problem
From MaRDI portal
bibliographyelliptic curveshigher degree diophantine equationsHilbert's tenth problemopen questionssurvey
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to number theory (11-02) Diophantine equations (11D99) Decidability (number-theoretic aspects) (11U05)
Recommendations
Cites work
- p-adic and real subanalytic sets
- A computable ordinary differential equation which possesses no computable solution
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- A new decision method for elementary algebra
- Alfred Tarski's elimination theory for real closed fields
- All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
- Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
- Classification of Quantifier Prefixes Over Diophantine Equations
- Decidable theories of preordered fields
- Decision procedures for real and p‐adic fields
- Definability and decision problems in arithmetic
- Diophantine problems over local fields. III: Decidable fields
- Diophantine Representation of the Set of Prime Numbers
- Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
- Hilbert's tenth problem for fields of rational functions over finite fields
- Hilbert's Tenth Problem is Unsolvable
- How to solve a quadratic equation in integers
- scientific article; zbMATH DE number 3845662 (Why is no real title available?)
- scientific article; zbMATH DE number 51406 (Why is no real title available?)
- scientific article; zbMATH DE number 3211026 (Why is no real title available?)
- Integer solutions of systems of quadratic equations
- LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
- Model theory of modules
- Problems equivalent to rational Diophantine solvability
- Quadratic forms over \(C[t_ 1,t_ 2]\)
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets
- Solving diophantine problems modulo every prime
- Solving diophantine problems over all residue class fields of a number field and all finite fields
- Some general algorithms. I: Arithmetic groups
- Some undecidable problems involving elementary functions of a real variable
- Strictly local solutions of diophantine equations
- The elementary theory of finite fields
- THE UNDECIDABILITY OF PURE TRANSCENDENTAL EXTENSIONS OF REAL FIELDS
- Ultraproducts and approximation in local rings. I
- Undecidable diophantine equations
Cited in
(19)- On the theories of free solvable groups
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
- Hilbert's tenth problem for term algebras with a substitution operator
- The Hilbert's-tenth-problem operator
- Diagonal quadratic forms and Hilbert's Tenth Problem
- Hilbert's tenth problem. Diophantine classes and extensions to global fields
- Decidability of sub-theories of polynomials over a finite field
- scientific article; zbMATH DE number 5507563 (Why is no real title available?)
- scientific article; zbMATH DE number 1261118 (Why is no real title available?)
- Undecidable existential theories of polynomial rings and function fields
- Hilbert's tenth problem for fixed d and n
- scientific article; zbMATH DE number 7566048 (Why is no real title available?)
- scientific article; zbMATH DE number 2226422 (Why is no real title available?)
- New Computational Paradigms
- Hilbert's tenth problem is of unification type zero
- On extendable planes of order ten
- Decidability questions for a ring of Laurent polynomials
- Further results on Hilbert's tenth problem
- Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
This page was built for publication: Extensions of Hilbert's tenth problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4302340)