Arithmetical problems and recursively enumerable predicates
From MaRDI portal
Cites work
Cited in
(28)- Existential arithmetization of Diophantine equations
- Primes are nonnegative values of a polynomial in 10 variables
- A new proof of the theorem on exponential diophantine representation of enumerable sets
- Arithmetical representations of enumerable sets with a small number of quantifiers
- Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids
- Existence of noneffectivizable estimates in the theory of exponential Diophantine equations
- A direct method for simulating partial recursive functions by Diophantine equations
- Recursion theoretic characterizations of complexity classes of counting functions
- A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
- Diophantine complexity
- Arithmetical representation of recursively enumerable sets
- Formal systems of constructive mathematics
- The classical and the ω-complete arithmetic
- Reductions of Hilbert's tenth problem
- Martin Davis and Hilbert's tenth problem
- A story of Hilbert's tenth problem
- Register machine proof of the theorem on exponential diophantine representation of enumerable sets
- Towards finite-fold Diophantine representations
- A proof of negative answer to Hilbert's 10th problem
- Hilbert's Tenth Problem in Coq
- scientific article; zbMATH DE number 7566048 (Why is no real title available?)
- Some representations of Diophantine sets
- On the existential arithmetics with addition and bitwise minimum
- Extending and interpreting Post's programme
- Mixed quantifier prefixes over Diophantine equations with integer variables
- What can and cannot be done with Diophantine problems
- A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets
This page was built for publication: Arithmetical problems and recursively enumerable predicates
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5820550)
