×

Diophantine representation of the set of prime numbers. (English) Zbl 0336.02037


MSC:

03D80 Applications of computability and recursion theory
03D25 Recursively (computably) enumerable sets and degrees
11U05 Decidability (number-theoretic aspects)
11D04 Linear Diophantine equations
11D25 Cubic and quartic Diophantine equations
11D99 Diophantine equations
11A41 Primes
12L05 Decidability and field theory
PDFBibTeX XMLCite
Full Text: DOI