A new proof of the theorem on exponential diophantine representation of enumerable sets

This publication has 9 references indexed in Scilit:

• Reduction of an arbitrary diophantine equation to one in 13 unknowns
  Acta Arithmetica, 1975
• Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence†
  Journal of the London Mathematical Society, 1974
• Hilbert's Tenth Problem is Unsolvable
  The American Mathematical Monthly, 1973
• A proof of negative answer to Hilbert's $10$th problem
  Proceedings of the Japan Academy, Series A, Mathematical Sciences, 1973
• An explicit diophantine definition of the exponential function
  Communications on Pure and Applied Mathematics, 1971
• The Decision Problem for Exponential Diophantine Equations
  Annals of Mathematics, 1961
• Arithmetical problems and recursively enumerable predicates
  The Journal of Symbolic Logic, 1953
• Existential definability in arithmetic
  Transactions of the American Mathematical Society, 1952
• Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen.
  Journal für die reine und angewandte Mathematik (Crelles Journal), 1852