Some diophantine forms of Gödel's theorem.
Dyson, V.H. ; Jones, J.P.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), p. 51-60 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1982-01-01
EUDML-ID : urn:eudml:doc:137991 
@article{GDZPPN002045400,
     title = {Some diophantine forms of G\"odel's theorem.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     volume = {22},
     year = {1982},
     pages = {51-60},
     zbl = {0494.03043},
     url = {http://dml.mathdoc.fr/item/GDZPPN002045400}
}

Dyson, V.H.; Jones, J.P. Some diophantine forms of Gödel's theorem.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982) pp. 51-60. http://gdmltest.u-ga.fr/item/GDZPPN002045400/