Literatur
Buchholz, W., Schütte, K.: Ein Ordinalzahlensystem für die beweistheoretische Abgrenzung der Π 12 -Separation und Bar-Induktion. Sitzungsber. d. Bayer. Akad. d. Wiss., Math.-Nat. Kl. 1983, 99–132.
Buchholz, W., Schütte, K.: Proof Theory in Impredicative Subsystems of Analysis. Erscheint in Studies of Proof Theory, Verlag Bibliopolis Neapel.
Jäger, G.: ϱ-inaccessible ordinals, collapsing functions and a recursive notation system. Archiv. f. math. Logik u. Grundlagenforschung24 (1984) 49–62.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schütte, K. Majorisier Ungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger. Arch math Logik 26, 29–55 (1987). https://doi.org/10.1007/BF02017490
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02017490