Geodesic
Some diophantine forms of Gödel's theorem.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 51-60

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : omega-consistency, Goedel's incompleteness theorem, Matijasevich's diophantine representation of recursively enumerable sets, undecidable diophantine sentences, Robinson's system Q, formally decidable diophantine sentences, almost-diophantine sentences 
@article{AMLG_1982__22_137991,
     author = {V.H. Dyson and J.P. Jones},
     title = {Some diophantine forms of {G\"odel's} theorem.},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {51--60},
     publisher = {mathdoc},
     volume = {22},
     year = {1982},
     zbl = {0494.03043},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/}
}
TY  - JOUR
AU  - V.H. Dyson
AU  - J.P. Jones
TI  - Some diophantine forms of Gödel's theorem.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 51
EP  - 60
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/
ID  - AMLG_1982__22_137991
ER  - 
%0 Journal Article
%A V.H. Dyson
%A J.P. Jones
%T Some diophantine forms of Gödel's theorem.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1982
%P 51-60
%V 22
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/
%F AMLG_1982__22_137991
V.H. Dyson; J.P. Jones. Some diophantine forms of Gödel's theorem.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 51-60. http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/