Martin Davis and Hilbert's tenth problem
From MaRDI portal
Recommendations
Cites work
- 48 More Solutions of Martin Davis's Quaternary Quartic Equation
- A direct method for simulating partial recursive functions by Diophantine equations
- A Machine-Independent Theory of the Complexity of Recursive Functions
- A new proof of the theorem on exponential diophantine representation of enumerable sets
- An explicit diophantine definition of the exponential function
- An unsolvable problem in number theory
- Arithmetical problems and recursively enumerable predicates
- Arithmetical representation of recursively enumerable sets
- Arithmetical representations of enumerable sets with a small number of quantifiers
- Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
- DIOPHANTINE SETS
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
- Existential arithmetization of Diophantine equations
- Existential Definability in Arithmetic
- Hilbert's tenth problem. Diophantine classes and extensions to global fields
- Hilbert's Tenth Problem: What was done and what is to be done
- Hilbert’s Tenth Problem and Mazur’s Conjecture for large subrings of $\mathbb {Q}$
- scientific article; zbMATH DE number 3131080 (Why is no real title available?)
- scientific article; zbMATH DE number 3859225 (Why is no real title available?)
- scientific article; zbMATH DE number 3786757 (Why is no real title available?)
- scientific article; zbMATH DE number 3786758 (Why is no real title available?)
- scientific article; zbMATH DE number 3480679 (Why is no real title available?)
- scientific article; zbMATH DE number 3494398 (Why is no real title available?)
- scientific article; zbMATH DE number 3510222 (Why is no real title available?)
- scientific article; zbMATH DE number 3539209 (Why is no real title available?)
- scientific article; zbMATH DE number 3586989 (Why is no real title available?)
- scientific article; zbMATH DE number 1048047 (Why is no real title available?)
- scientific article; zbMATH DE number 939418 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- scientific article; zbMATH DE number 3348094 (Why is no real title available?)
- scientific article; zbMATH DE number 3045417 (Why is no real title available?)
- Mathematical significance of consistency proofs
- New Computational Paradigms
- On investigations on some algorithmic problems in algebra and number theory
- On the Number of Solutions of Diophantine Equations
- Proof of Recursive Unsolvability of Hilbert's Tenth Problem
- Recursive unsolvability of a problem of Thue
- Recursively enumerable sets of positive integers and their decision problems
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets
- Representation theorems for recursively enumerable sets and a conjecture related to Poonen's large subring of Q
- Some representations of Diophantine sets
- The decision problem for exponential diophantine equations
- The primes contain arbitrarily long arithmetic progressions
- Universal diophantine equation
- Unsolvable Diophantine Problems
Cited in
(16)- My collaboration with Julia Robinson
- The Matiyasevich theorem. Preliminaries
- Hilbert's Tenth Problem: What was done and what is to be done
- A story of Hilbert's tenth problem
- The quest for Diophantine finite-fold-ness
- Undecidability in number theory
- scientific article; zbMATH DE number 4085632 (Why is no real title available?)
- Proof of Recursive Unsolvability of Hilbert's Tenth Problem
- scientific article; zbMATH DE number 1342343 (Why is no real title available?)
- 48 More Solutions of Martin Davis's Quaternary Quartic Equation
- ``One equation to rule them all, revisited
- Hilbert's Tenth Problem in Coq
- scientific article; zbMATH DE number 7566048 (Why is no real title available?)
- Computation paradigms in light of Hilbert's tenth problem
- Pell's equation
- On Diophantine singlefold specifications
This page was built for publication: Martin Davis and Hilbert's tenth problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305315)
