{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T18:18:33Z","timestamp":1759342713518},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[1991,9,1]],"date-time":"1991-09-01T00:00:00Z","timestamp":683683200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1991,9]]},"DOI":"10.1007\/bf01621474","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T17:21:14Z","timestamp":1114881674000},"page":"311-376","source":"Crossref","is-referenced-by-count":21,"title":["Proof theory and ordinal analysis"],"prefix":"10.1007","volume":"30","author":[{"given":"W.","family":"Pohlers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Perspectives in Mathematical Logic","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. Perspectives in Mathematical Logic. Berlin Heidelberg New York: Springer 1975"},{"key":"CR2","series-title":"Lect. Notes Math., vol. 500","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BFb0079544","volume-title":"ISILC \u2014 Proof theory symposium","author":"W. Buchholz","year":"1975","unstructured":"Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In: Diller, J., M\u00fcller, G.H. (eds.) ISILC \u2014 Proof theory symposium. (Lect. Notes Math., vol. 500, pp. 4\u201325) Berlin Heidelberg New York: Springer 1975"},{"key":"CR3","volume-title":"Lect. Notes Math., vol. 807","author":"W. Buchholz","year":"1981","unstructured":"Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. (Lect. Notes Math., vol. 807) Berlin Heidelberg New York: Springer 1981"},{"key":"CR4","unstructured":"Buchholz, W., Sch\u00fctte, K.: Ein Ordinalzahlenbezeichnungssystem f\u00fcr die beweistheoretische Abgrenzung der\u03a01\/2-Separation und Bar-Induktion. Sitzungsber. Bayer. Akad. Wiss. Math.-Naturwiss. Kl. (1983)"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0168-0072(86)90052-7","volume":"32","author":"W. Buchholz","year":"1986","unstructured":"Buchholz, W.: A new system of proof-theoretic ordinal functions. Ann. Pure Appl. Logic32, 195\u2013207 (1986)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR6","series-title":"AMS-ser. Contemp. Math., vol. 65","first-page":"179","volume-title":"Proc. of the AMS-IMS-SIAM","author":"W. Buchholz","year":"1987","unstructured":"Buchholz, W., Wainer, S.S.: Provably computable functions and the fast growing hierarchy in mathematical logic and combinatorics. In: Simpson, S. (ed.) Proc. of the AMS-IMS-SIAM (AMS-ser. Contemp. Math., vol. 65, pp. 179\u2013198) Providence-Rhode Island: AMS 1987"},{"key":"CR7","unstructured":"Buchholz, W.: Notation systems for infinitary derivations. (This volume)"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"399","DOI":"10.2307\/2273557","volume":"48","author":"E.A. Cichon","year":"1983","unstructured":"Cichon, E.A., Wainer, S.S.: The slow growing and the Gregorczyk hierarchies. J. Symp. Logic48, 399\u2013408 (1983)","journal-title":"J. Symp. Logic"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2269764","volume":"29","author":"S. Feferman","year":"1964","unstructured":"Feferman, S.: Systems of predicative analysis. J. Symb. Logic29, 1\u201330 (1964)","journal-title":"J. Symb. Logic"},{"key":"CR10","volume-title":"Intuitionism and proof theory","author":"S. Feferman","year":"1970","unstructured":"Feferman, S.: Formal theories for iterated generalized inductive definitions and some subsystems of analysis. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and proof theory. Proceedings of the Summer Conference at Buffalo, New York. Amsterdam: North-Holland 1970"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann.112, 493\u2013565 (1936)","journal-title":"Math. Ann."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/BF01564760","volume":"119","author":"G. Gentzen","year":"1943","unstructured":"Gentzen, G.: Beweisbarkeit und Unbeweisbarkeit von Anfangsf\u00e4llen der transfiniten Induktion. Math. Ann.119, 140\u2013161 (1943)","journal-title":"Math. Ann."},{"key":"CR13","first-page":"75","volume":"21","author":"J.Y. Girard","year":"1981","unstructured":"Girard, J.Y.:\u03a0 1 2 -logic, part I: dilators. Ann. Pure Appl. Logic21, 75\u2013219 (1981)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR14","volume-title":"Proof theory and logical complexity. Studies in proof theory","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Proof theory and logical complexity. Studies in proof theory. Naples: Bibliopolis 1987"},{"key":"CR15","volume-title":"Elementary induction on abstract structures","author":"Y. Moschovakis","year":"1974","unstructured":"Moschovakis, Y.: Elementary induction on abstract structures. Amsterdam: North Holland 1974"},{"key":"CR16","unstructured":"J\u00e4ger, G.: Die konstruktible Hierarchie als Hilfsmittel zur beweistheoretischen Untersuchung von Teilsystemen der Analysis und Mengenlehre. Dissertation, M\u00fcnchen, 1979"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02007140","volume":"24","author":"G. J\u00e4ger","year":"1984","unstructured":"J\u00e4ger, G.:\u03f1-inaccessible ordinals, collapsing functions, and a recursive notation system. Arch. Math. Logik Grundlagenforsch.24, 49\u201362 (1984)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR18","volume-title":"Theories for admissible sets: a unifying approach to proof theory. (Habilschrift at the University of Munich)","author":"G. J\u00e4ger","year":"1986","unstructured":"J\u00e4ger, G.: Theories for admissible sets: a unifying approach to proof theory. (Habilschrift at the University of Munich) Naples: Bibliopolis 1986"},{"key":"CR19","unstructured":"J\u00e4ger, G., Pohlers, W.: Eine beweistheoretische Untersuchung von (\u03941\/2\u2212CA)+(BI) und verwandter Systeme. Sitzungsber. Bayer. Akad. Wiss. pp. 1\u201328 (1982)"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01967649","volume":"13","author":"H.H. L\u00f6b","year":"1970","unstructured":"L\u00f6b, H.H., Wainer, S.S.: Hierarchies of number-theoretic functions. Arch. Math. Logik Grundlagenforsch.13, 39\u201351 & 97\u2013113 (1970)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR21","series-title":"Lect. Notes Math., vol. 897","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BFb0091900","volume-title":"Iterated inductive definitions and subsystems on analysis: recent proof theoretical studies","author":"W. Pohlers","year":"1981","unstructured":"Pohlers, W.: Proof-theoretical analysis ofID v by the method of local predicativity. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W. (eds.) Iterated inductive definitions and subsystems on analysis: recent proof theoretical studies. (Lect. Notes Math., vol. 897, pp. 261\u2013357) Berlin Heidelberg New York: Springer 1981"},{"key":"CR22","volume-title":"Proof Theory","author":"W. Pohlers","year":"1987","unstructured":"Pohlers, W.: Contributions of the Sch\u00fctte school in Munich to proof theory. In: Takeuti, G. (ed.) Proof Theory, 2nd edn. Amsterdam: North Holland (1987)","edition":"2nd edn."},{"key":"CR23","unstructured":"Pohlers, W.: Ordinal analysis of KPi. Chapter I Ordinals. Mimeographed preprint M\u00fcnster (1988)"},{"key":"CR24","volume-title":"Lect. Notes Math., vol. 1407","author":"W. Pohlers","year":"1989","unstructured":"Pohlers, W.: Proof theory: an introduction. (Lect. Notes Math., vol. 1407) Berlin Heidelberg New York: Springer 1989"},{"key":"CR25","unstructured":"Rathjen, M.: Untersuchungen zu Teilsystemen der Zahlentheorie zweiter Stufe und der Mengenlehre mit einer zwischen (\u03941\/2-CA) und (\u03941\/2 \u2014 CA +BI) liegenden Beweisst\u00e4rke. Dissertation, M\u00fcnster (1989)"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01651328","volume":"29","author":"M. Rathjen","year":"1990","unstructured":"Rathjen, M.: Ordinal notations based on a weakly Mahlo ordinal. Arch. Math. Logic29, 249\u2013263 (1990)","journal-title":"Arch. Math. Logic"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Rathjen, M.: Proof theoretic analysis of KPM. Arch. Math. Logic30 (1990)","DOI":"10.1007\/BF01621475"},{"key":"CR28","volume-title":"Beweistheorie","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte, K.: Beweistheorie. Berlin Heidelberg New York: Springer 1960"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01972460","volume":"67","author":"K. Sch\u00fctte","year":"1964","unstructured":"Sch\u00fctte, K.: Eine Grenze f\u00fcr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Arch. Math. Logik Grundlagenforsch.67, 45\u201360 (1964)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR30","first-page":"176","volume-title":"Formal systems and recursive functions","author":"K. Sch\u00fctte","year":"1965","unstructured":"Sch\u00fctte, K.: Predicative wellorderings. In: Crossley, J.N., Dummett, M. (eds.) Formal systems and recursive functions, pp. 176\u2013184. Amsterdam: North Holland 1965"},{"key":"CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte, K.: Proof theory, 2nd edn. Berlin Heidelberg New York: Springer 1977","edition":"2nd edn."},{"key":"CR32","first-page":"119","volume-title":"The consistency strengths of some finite forms of the Higman and Kruskal theorems in Harvey Friedman's research on the foundations of mathematics","author":"R.L. Smith","year":"1985","unstructured":"Smith, R.L.: The consistency strengths of some finite forms of the Higman and Kruskal theorems in Harvey Friedman's research on the foundations of mathematics. In: Harrington, L.A., Morley, M., Scedrov, A., Simpson, S.G. (eds.), pp. 119\u2013136. Amsterdam: North-Holland 1985"},{"key":"CR33","series-title":"Lect. Notes Math., vol. 72","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BFb0079691","volume-title":"The syntax and semantics of infinitary languages","author":"W. Tait","year":"1968","unstructured":"Tait, W.: Normal derivability in classical logic. In: Barwise, J. (ed.) The syntax and semantics of infinitary languages. (Lect. Notes Math., vol. 72, pp. 204\u2013236) Berlin Heidelberg New York: Springer 1968"},{"key":"CR34","first-page":"475","volume-title":"Intuitionism and proof theory","author":"W. Tait","year":"1970","unstructured":"Tait, W.: Applications of the cut elimination theorem to some subsystems of classical analysis in intuitionisms and proof theory. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y. 1968, pp. 475\u2013488. Berlin Heidelberg New York: Springer 1970. Kino et al. eds. Springer (1970)"},{"key":"CR35","volume-title":"Proof theory","author":"G. Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof theory, 2nd ed. Amsterdam: North Holland 1987","edition":"2nd ed."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1090\/S0002-9947-1908-1500814-9","volume":"9","author":"O. Veblen","year":"1908","unstructured":"Veblen, O.: Continuous increasing functions of finite and transfinite ordinals. Trans. Am. Math. Soc.9, 280\u2013292 (1908)","journal-title":"Trans. Am. Math. Soc."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/BF01973619","volume":"13","author":"S.S. Wainer","year":"1970","unstructured":"Wainer, S.S.: A classification of the ordinal recursive functions. Arch. Math. Logik Grundlagenforsch.13, 136\u2013153 (1970)","journal-title":"Arch. Math. Logik Grundlagenforsch."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2272973","volume":"37","author":"S.S. Wainer","year":"1972","unstructured":"Wainer, S.S.: Ordinal recursion and a refinement of the extended Grezgorczyk hierarchy. J. Symb. Logic37, 281\u2013292 (1972)","journal-title":"J. Symb. Logic"},{"key":"CR39","unstructured":"Weiermann, A.: Vereinfachte Kollabierungsfunktionen und ihre Anwendungen. Preprint M\u00fcnster (1989)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01621474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01621474\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01621474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T05:06:10Z","timestamp":1586235970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01621474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,9]]},"references-count":39,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1991,9]]}},"alternative-id":["BF01621474"],"URL":"https:\/\/doi.org\/10.1007\/bf01621474","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,9]]}}}