Summary
In this article we define a new and transparent concept of total collapsing functions for an ordinal notation system which is characteristic for the theory (Δ 12 -CA)+(BI). We show that our construction allows the application of Pohler's method of local predicativity as presented in [2] which yields a perspicious proof-theoretic analysis of (Δ 12 -CA)+(BI) being not much more complicated than for ID1.
Similar content being viewed by others
Literatur
Buchholz, W., Schütte, K.: Ein Bezeichnungssystem für die beweistheoretische Abgrenzung der (Π 12 )-Separation und Bar-Induktion. Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (1983)
Jäger, G., Pohlers, W.: Eine beweistheoretische Untersuchung von (Δ 12 -CA)+(BI) und verwandter Systeme. Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse (1982)
Pohlers, W.: Proof theory: an introduction (Lect. Notes Math., vol. 1407) Berlin Heidelberg New York: Springer 1989
Rathjen, M.: Ordinal notations based on a Weakly Mahlo Cardinal. Arch. Math. Logic29, 249–263 (1990)
Rathjen, M.: Proof-theoretic analysis of KPM. Arch. Math. Logic30, 377–403 (1991)
Schütte, K.: Proof theory. Berlin Heidelberg New York: Springer 1977
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Weiermann, A. Vereinfachte Kollabierungsfunktionen und ihre Anwendungen. Arch Math Logic 31, 85–94 (1991). https://doi.org/10.1007/BF01387761
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01387761