Some diophantine forms of Gödel's theorem. V.H. Dyson; J.P. Jones — 1982 Archiv für mathematische Logik und Grundlagenforschung