{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T18:09:33Z","timestamp":1726250973518},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1981,12,1]],"date-time":"1981-12-01T00:00:00Z","timestamp":376012800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1981,12]]},"DOI":"10.1007\/bf02011638","type":"journal-article","created":{"date-parts":[[2005,8,5]],"date-time":"2005-08-05T06:05:22Z","timestamp":1123221922000},"page":"113-129","source":"Crossref","is-referenced-by-count":14,"title":["Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1"],"prefix":"10.1007","volume":"21","author":[{"given":"W.","family":"Pohlers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02011638_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02011638_CR2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.2307\/2271898","volume":"40","author":"J. Bridge","year":"1975","unstructured":"Bridge, J.: A simplification of the Bachmann method for generating large countable ordinals. J. Symb. Logic40, 171\u2013185 (1975).","journal-title":"J. Symb. Logic"},{"key":"BF02011638_CR3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BFb0079544","volume-title":"Normalfunktionen und konstruktive Systeme von Ordinalzahlen","author":"W. Buchholz","year":"1975","unstructured":"Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In: Lecture Notes in Mathematics, Vol. 500, pp. 4\u201325. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02011638_CR4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF02007261","volume":"18","author":"W. Buchholz","year":"1976","unstructured":"Buchholz, W.: \u00dcber Teilsysteme von $$\\bar \\theta $$ {g}. Arch. Math. Logik18, 85\u201398 (1976).","journal-title":"Arch. Math. Logik"},{"key":"BF02011638_CR5","unstructured":"Buchholz, W.: Ordinal analysis of ID c andW-ID c . Preliminary version. Munich (1977) Mimeographed."},{"key":"BF02011638_CR6","volume-title":"Eine Erweiterung der Schnitteliminationsmethode","author":"W. Buchholz","year":"1977","unstructured":"Buchholz, W.: Eine Erweiterung der Schnitteliminationsmethode. Habilitationsschrift, M\u00fcnchen 1977."},{"key":"BF02011638_CR7","doi-asserted-by":"crossref","first-page":"118","DOI":"10.2307\/2271954","volume":"43","author":"W. Buchholz","year":"1978","unstructured":"Buchholz, W., Pohlers, W.: Provable wellorderings of formal theories for transfinitely iterated inductive definitions. J. Symb. Logic43, 118\u2013125 (1978).","journal-title":"J. Symb. Logic"},{"key":"BF02011638_CR8","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":"BF02011638_CR9","first-page":"303","volume-title":"Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and proof theory","author":"S. Feferman","year":"1970","unstructured":"Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and proof theory, pp. 303\u2013326. Amsterdam: North-Holland 1970."},{"key":"BF02011638_CR10","first-page":"327","volume-title":"Brouwer's bar theorem and a system of ordinal notation. Intuitionism and proof theory","author":"H. Gerber","year":"1970","unstructured":"Gerber, H.: Brouwer's bar theorem and a system of ordinal notation. Intuitionism and proof theory, pp. 327\u2013338. Amsterdam: North-Holland 1970."},{"key":"BF02011638_CR11","doi-asserted-by":"crossref","first-page":"354","DOI":"10.2307\/2271479","volume":"35","author":"W. Howard","year":"1970","unstructured":"Howard, W.: Assignment of ordinals to terms for type 0 bar recursive functionals (abstract). J. Symb. Logic35, 354 (1970).","journal-title":"J. Symb. Logic"},{"key":"BF02011638_CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.2307\/2272979","volume":"37","author":"W. Howard","year":"1972","unstructured":"Howard, W.: A system of abstract constructive ordinals. J. Symb. Logic37, 355\u2013374 (1972).","journal-title":"J. Symb. Logic"},{"key":"BF02011638_CR13","unstructured":"J\u00e4ger, G.: Beweistheorie von-KPN (to appear in Arch. Math. Logik)."},{"key":"BF02011638_CR14","unstructured":"J\u00e4ger, G.: Dissertation M\u00fcnchen 1979."},{"key":"BF02011638_CR15","unstructured":"Kreisel, G.: Generalised inductive definitions. Stanford Report (1963). Mimeographed."},{"key":"BF02011638_CR16","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BFb0079558","volume-title":"An upper bound for the provability of transfinite induction in systems withn-times iterated inductive definitions","author":"W. Pohlers","year":"1975","unstructured":"Pohlers, W.: An upper bound for the provability of transfinite induction in systems withn-times iterated inductive definitions. In: Lecture Notes in Mathematics, Vol. 500, pp. 271\u2013289. Berlin, Heidelberg, New York: Springer 1975."},{"key":"BF02011638_CR17","unstructured":"Pohlers, W.: Eine kanonische Interpretation von ID 1 c . Lecture at M\u00fcnster (1976). Mimeographed."},{"key":"BF02011638_CR18","doi-asserted-by":"crossref","first-page":"161","DOI":"10.2307\/2272816","volume":"43","author":"W. Pohlers","year":"1978","unstructured":"Pohlers, W.: Ordinals connected with formal theories for transfinitely iterated inductive definitions. J. Symb. Logic43, 161\u2013182 (1978).","journal-title":"J. Symb. Logic"},{"key":"BF02011638_CR19","volume-title":"Beweistheorie der iterierten induktiven Definitionen","author":"W. Pohlers","year":"1977","unstructured":"Pohlers, W.: Beweistheorie der iterierten induktiven Definitionen. Habilitationsschrift, M\u00fcnchen 1977."},{"key":"BF02011638_CR20","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. Berlin, Heidelberg, New York: Springer 1977."},{"key":"BF02011638_CR21","unstructured":"Sieg, W.: Trees in metamathematics. Thesis Stanford (1977)."},{"key":"BF02011638_CR22","first-page":"204","volume-title":"Lecture Notes in Mathematics, Vol. 72","author":"W. Tait","year":"1968","unstructured":"Tait, W.: Normal derivability in classical logic. The syntax and semantics of infinitary languages. In: Lecture Notes in Mathematics, Vol. 72, pp. 204\u2013256. Berlin, Heidelberg, New York: Springer 1968."},{"key":"BF02011638_CR23","first-page":"475","volume-title":"Applications of the cut-elimination theorem to some subsystems of classical analysis. Intuitionism and proof theory","author":"W. Tait","year":"1970","unstructured":"Tait, W.: Applications of the cut-elimination theorem to some subsystems of classical analysis. Intuitionism and proof theory, pp. 475\u2013488. Amsterdam: North-Holland 1970."},{"key":"BF02011638_CR24","doi-asserted-by":"crossref","first-page":"299","DOI":"10.2307\/1970691","volume":"86","author":"G. Takeuti","year":"1967","unstructured":"Takeuti, G.: Consistency proofs of subsystems of classical analysis. Ann. Math.86, 299\u2013348 (1967).","journal-title":"Ann. Math."},{"key":"BF02011638_CR25","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/BFb0066745","volume-title":"Metamathematical investigation of intuitionistic arithmetic and analysis","author":"I. Zucker","year":"1973","unstructured":"Zucker, I.: Iterated inductive definitions, trees and ordinals. Metamathematical investigation of intuitionistic arithmetic and analysis. In: Lecture Notes in Mathematics, Vol. 344, pp. 392\u2013452. Berlin, Heidelberg, New York: Springer 1973."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011638.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02011638\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02011638","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:24:57Z","timestamp":1557786297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02011638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981,12]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1981,12]]}},"alternative-id":["BF02011638"],"URL":"https:\/\/doi.org\/10.1007\/bf02011638","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981,12]]}}}