@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/}
}