{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:58Z","timestamp":1759146898998},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":5490,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1999,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S002248120001389X_inline1\" \/> and <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S002248120001389X_inline2\" \/>; the exact proof-theoretic ordinals of these systems are presented.<\/jats:p>","DOI":"10.2307\/2586750","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T14:02:25Z","timestamp":1146924145000},"page":"53-67","source":"Crossref","is-referenced-by-count":28,"title":["The proof-theoretic analysis of transfinitely iterated fixed point theories"],"prefix":"10.1017","volume":"64","author":[{"given":"Gerhard","family":"J\u00c4ger","sequence":"first","affiliation":[]},{"given":"Reinhard","family":"Kahle","sequence":"additional","affiliation":[]},{"given":"Anton","family":"Setzer","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Strahm","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120001389X_ref006","first-page":"1\u201349","volume":"56","author":"Feferman","year":"1991","journal-title":"Reflecting on incompleteness"},{"key":"S002248120001389X_ref004","volume-title":"Logical frameworks for truth and abstraction","author":"Cantini","year":"1996"},{"key":"S002248120001389X_ref012","volume-title":"Proof theory: An introduction","volume":"1407","author":"Pohlers","year":"1988"},{"key":"S002248120001389X_ref013","unstructured":"Rathjen M. , The strength of Martin-L\u00f6f type theory with a superuniverse, Part I, preprint, 1997."},{"key":"S002248120001389X_ref002","first-page":"413\u2013430","article-title":"A note on a predicatively reducible theory of iterated elementary induction","volume":"6","author":"Cantini","year":"1985","journal-title":"Bollettino Unione Mathematica Italiana 4-B"},{"key":"S002248120001389X_ref008","first-page":"818\u2013842","volume":"61","author":"J\u00e4ger","year":"1996","journal-title":"Some theories with positive induction of ordinal strength \u03c6\u03c90"},{"key":"S002248120001389X_ref003","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S002248120001389X_ref010","doi-asserted-by":"publisher","DOI":"10.1007\/s001530050105"},{"key":"S002248120001389X_ref007","volume-title":"Archive for Mathematical Logic","author":"J\u00e4ger"},{"key":"S002248120001389X_ref009","unstructured":"Kahle R. , Applicative theories and Frege structures, Ph.D. thesis , Institut f\u00fcr Informatik und angewandte Mathematik, Universit\u00e4t Bern, 1997."},{"key":"S002248120001389X_ref005","first-page":"171\u2013196","volume-title":"The Patras symposion","author":"Feferman","year":"1982"},{"key":"S002248120001389X_ref011","volume-title":"Twenty-five years of type theory","author":"Palmgren"},{"key":"S002248120001389X_ref015","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"S002248120001389X_ref016","unstructured":"Strahm T. , First steps into metapredicativity in explicit mathematics, to appear."},{"key":"S002248120001389X_ref014","doi-asserted-by":"publisher","DOI":"10.1007\/BF01361109"},{"key":"S002248120001389X_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091894"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120001389X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T15:07:13Z","timestamp":1557500833000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120001389X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["S002248120001389X"],"URL":"https:\/\/doi.org\/10.2307\/2586750","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}