Some diophantine forms of gödel's theorem
From MaRDI portal
Publication:3956938
DOI10.1007/BF02318026zbMath0494.03043OpenAlexW2070850992MaRDI QIDQ3956938
James P. Jones, Verena H. Dyson, John C. Shepherdson
Publication date: 1982
Published in: Archiv für mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137991
omega-consistencyGoedel's incompleteness theoremalmost-diophantine sentencesformally decidable diophantine sentencesMatijasevich's diophantine representation of recursively enumerable setsRobinson's system Qundecidable diophantine sentences
Undecidability and degrees of sets of sentences (03D35) Proof theory and constructive mathematics (03F99)
Related Items
Cites Work