Admissible extensions of subtheories of second order arithmetic

Gerhard Jäger, Michael Rathjen

In this paper we study admissible extensions of several theories T of reverse mathematics. The idea is that in such an extension the structure M = (N,S,\in) of the natural numbers…