Some theories with positive induction of ordinal strength $\varphi \omega 0$

TitleSome theories with positive induction of ordinal strength $\varphi \omega 0$
Publication TypeJournal Article
Year of Publication1996
AuthorsJäger, G, Strahm, T
JournalThe Journal of Symbolic Logic
Volume61
Pagination818-842
URLhttp://www.iam.unibe.ch/ltgpub/1996/js96.ps