Some diophantine forms of gödel's theorem. - Verena H. Dyson; James P. Jones; John C. Shepherdson (Arch. Math. Log., 1980)