A modular ordinal analysis of metapredicative subsystems of second order arithmetic

TitleA modular ordinal analysis of metapredicative subsystems of second order arithmetic
Publication TypeHabilitation Thesis
Year of Publication2017
AuthorsProbst, D
URLhttp://www.iam.unibe.ch/ltgpub/2017/pro17.pdf