Pages that link to "Item:Q5820550"

The following pages link to Arithmetical problems and recursively enumerable predicates (Q5820550):

Displaying 26 items.

• Towards finite-fold Diophantine representations (Q393229) (← links)
• Extending and interpreting Post's programme (Q636317) (← links)
• What can and cannot be done with Diophantine problems (Q741171) (← links)
• A normal form for arithmetical representation of \({\mathcal N}{\mathcal P}\)-sets (Q790804) (← links)
• Existential arithmetization of Diophantine equations (Q1006616) (← links)
• Primes are nonnegative values of a polynomial in 10 variables (Q1145721) (← links)
• A new proof of the theorem on exponential diophantine representation of enumerable sets (Q1147132) (← links)
• Arithmetical representations of enumerable sets with a small number of quantifiers (Q1245954) (← links)
• Some nonstationary linear and quasilinear systems occuring in the investigation of the motion of viscous fluids (Q1251139) (← links)
• Existence of noneffectivizable estimates in the theory of exponential Diophantine equations (Q1256452) (← links)
• A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
• Recursion theoretic characterizations of complexity classes of counting functions (Q1365942) (← links)
• A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463) (← links)
• Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
• Diophantine complexity (Q2276953) (← links)
• Arithmetical representation of recursively enumerable sets (Q3235358) (← links)
• Formal systems of constructive mathematics (Q3237138) (← links)
• The classical and the <i>ω</i>-complete arithmetic (Q3252699) (← links)
• Reductions of Hilbert's tenth problem (Q3256317) (← links)
• Martin Davis and Hilbert’s Tenth Problem (Q3305315) (← links)
• A Story of Hilbert’s Tenth Problem (Q3305317) (← links)
• Register machine proof of the theorem on exponential diophantine representation of enumerable sets (Q3734384) (← links)
• A proof of negative answer to Hilbert's $10$th problem (Q4404870) (← links)
• Hilbert's Tenth Problem in Coq (Q5089029) (← links)
• (Q5094119) (← links)
• Some representations of Diophantine sets (Q5680116) (← links)