Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerabl

@article{Davis1986ClassificationOQ,
  title={Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerabl},
  author={Martin Davis and James P. Jones and Verena H. Dyson and John C. Shepherdson and James P. Jones and Ju. V. Matijasevi{\vc} and Jennifer C Stern and Yu. V. Matijasevi{\vc}},
  journal={Journal of Symbolic Logic},
  year={1986},
  volume={51},
  pages={477}
}