Existential Definability in Arithmetic

Julia Robinson
1952 Transactions of the American Mathematical Society  
doi:10.2307/1990711 fatcat:d3kpxliygfh7rcsihdzobiltva