Metapredicative and explicit Mahlo: a proof-theoretic perspective

TitleMetapredicative and explicit Mahlo: a proof-theoretic perspective
Publication TypeConference Paper
Year of Publication2005
AuthorsJäger, G
EditorCori, R, Razborov, A, Todorcevic, S, Wood, C
Conference NameProceedings of Logic Colloquium '00
Pagination272-293
PublisherAK Peters
URLhttp://www.iam.unibe.ch/ltgpub/2005/jae05.pdf