Wellordering proofs for metapredicative Mahlo

TitleWellordering proofs for metapredicative Mahlo
Publication TypeJournal Article
Year of Publication2002
AuthorsStrahm, T
JournalThe Journal of Symbolic Logic
Volume67
Pagination260-278
URLhttp://www.iam.unibe.ch/ltgpub/2002/str02.pdf