Some theories with positive induction of ordinal strength ϕω0 (1996)

by Gerhard Jäger, Thomas Strahm
Venue:Journal of Symbolic Logic