Classification of Quantifier Prefixes Over Diophantine Equationsby James P. Jones;Some Diophantine Forms of Gödel's Theorem.by Verena H. Dyson; James P. Jones; John C. Shepherdson;Universal Diophantine Equationby James P. Jones;Exponential Diophantine Representation of Recursively Enumerable Setsby J. P. Jones; Ju. V. Matijasevic; J. Stern;Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Setsby J. P. Jones; Y. V. Matijasevic