C. Dimitracopoulos

• Matijasevič's theorem and fragments of arithmetic