×

Universal diophantine equation. (English) Zbl 0492.03018


MSC:

03D25 Recursively (computably) enumerable sets and degrees
11U05 Decidability (number-theoretic aspects)
12L05 Decidability and field theory
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0414.03025
Full Text: DOI

References:

[1] Three universal representations of recursively enumerable sets 43 pp 335– (1978)
[2] Acta Arithmetica 35 pp 209– (1978)
[3] DOI: 10.1090/S0273-0979-1980-14832-6 · Zbl 0442.03028 · doi:10.1090/S0273-0979-1980-14832-6
[4] DOI: 10.2307/2318447 · Zbl 0277.02008 · doi:10.2307/2318447
[5] Proceedings of the Symposium on the Hilbert Problems (De Kalb, Illinois), May 1974 pp 323– (1976)
[6] DOI: 10.2307/1970289 · Zbl 0111.01003 · doi:10.2307/1970289
[7] Philosophical Transactions of the Royal Society of London, Series A 263 pp 173– (1968)
[8] Foundations of mathematics and computabiliiy theory pp 121– (1977)
[9] Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Mathematičeskogo Instituto im. V.A. Steklova Akademii Nauk SSSR 68 pp 62– (1977)
[10] Zapiski Naučhnyh Seminarov Leningradskogo Otdelenija Mathematičeskogo Instituta im. V.A. Steklova Akademii Nauk SSSR 67 pp 167– (1977)
[11] Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Mathematičeskogo Instituto im. V.A. Steklova Akademii Nauk SSSR 60 pp 75– (1976)
[12] Acta Arithmetica 27 pp 521– (1975)
[13] Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Mathematiceskogo Instituto im. V.A. Steklova Akademii Nauk SSSR 32 pp 77– (1972)
[14] Uspehi Matematičeskih Nauk 27 pp 185– (1972)
[15] Proceedings of the IVth International Congress on Logic, Methodology and Philosophy of Science (Bucharest 1971) pp 89– (1973)
[16] Doklady Akademii Nauk SSSR 191 pp 279– (1970)
[17] Zapiski Naučnyh Seminarov Leningradskogo Otdelenija Matematičeskogo Instituta im. V.A. Steklova Akademii Nauk SSSR 20 pp 49– (1971)
[18] Journal of the London Mathematical Society 8 pp 555– (1974)
[19] DOI: 10.1090/S0002-9947-1952-0048374-2 · doi:10.1090/S0002-9947-1952-0048374-2
[20] MAA Studies in Mathematics 6 (1969)
[21] Journal für die Reine und Angewandte Mathematik 44 pp 93– (1852)
[22] Nachrichten der Akademie der Wissenschaften in Göttingen. II. Mathematisch-Physikalische Klasse pp 21– (1972)
[23] Proceedings of the Symposium on Pure Mathematics 20 pp 191– (1971)
[24] Studies in the theory of algorithms and mathematical logic pp 69– (1979)
[25] DOI: 10.2307/2318339 · Zbl 0336.02037 · doi:10.2307/2318339
[26] Les Annales des Sciences Mathématiques du Québec
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.