Title: Existential formulas in arithmetic
Subjects: Recursive functions, Diophantine analysis