Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory

TitleUpper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
Publication TypeJournal Article
Year of Publication2001
AuthorsJäger, G, Strahm, T
JournalThe Journal of Symbolic Logic
Volume66
Pagination935-958
URLhttp://www.iam.unibe.ch/ltgpub/2001/js01.pdf