Jonas M. Petrov

• On the Boundaries of Constructive Definability in Arithmetic