{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:34:44Z","timestamp":1726068884396},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":923,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[2011,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.<\/jats:p>","DOI":"10.2178\/jsl\/1309952527","type":"journal-article","created":{"date-parts":[[2011,7,6]],"date-time":"2011-07-06T07:42:35Z","timestamp":1309938155000},"page":"914-945","source":"Crossref","is-referenced-by-count":10,"title":["Autonomous progression and transfinite iteration of self-applicable truth"],"prefix":"10.1017","volume":"76","author":[{"given":"Kentaro","family":"Fujimoto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200001596_ref011","unstructured":"Halbach Volker , Axiomatic theories of truth, Stanford encyclopedia of philosophy (Edward Zalta, editor), URL: http:\/\/plato.stanford.edu\/entries\/truth-axiomatic."},{"key":"S0022481200001596_ref008","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308080209"},{"key":"S0022481200001596_ref007","first-page":"1","volume":"56","author":"Feferman","year":"1991","journal-title":"Reflecting on incompleteness"},{"key":"S0022481200001596_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(87)90073-X"},{"key":"S0022481200001596_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(98)80019-0"},{"key":"S0022481200001596_ref005","volume-title":"Logicalframeworks for truth and abstraction","author":"Cantini","year":"1996"},{"key":"S0022481200001596_ref016","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S0022481200001596_ref003","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19890350202"},{"key":"S0022481200001596_ref001","first-page":"118","volume":"43","author":"Buchholz","year":"1978","journal-title":"Provable wellorderings offormal theories for trans-finitely iterated inductive definitions"},{"key":"S0022481200001596_ref002","first-page":"413","article-title":"A note on predicatively reducible theory of iterated elementary induction","volume":"4","author":"Cantini","year":"1985","journal-title":"Bollet-tino Unione Mathematica Italiana"},{"key":"S0022481200001596_ref004","first-page":"244","volume":"55","author":"Cantini","year":"1990","journal-title":"A theory offormal truth arithmetically equivalent to ID1"},{"key":"S0022481200001596_ref006","first-page":"303","volume-title":"Intuitionism and proof theory","author":"Feferman","year":"1970"},{"key":"S0022481200001596_ref012","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990220"},{"key":"S0022481200001596_ref013","first-page":"53","volume":"64","author":"J\u00e4ger","year":"1999","journal-title":"The proof-theoretic analysis of transfinitely iteratedfixedpoint theories"},{"key":"S0022481200001596_ref014","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011954206722"},{"key":"S0022481200001596_ref018","first-page":"449","volume-title":"Logic colloquium '98","volume":"13","author":"Strahm","year":"2000"},{"key":"S0022481200001596_ref015","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(02)00040-4"},{"key":"S0022481200001596_ref010","doi-asserted-by":"publisher","DOI":"10.2178\/bsl\/1286284556"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200001596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T01:56:25Z","timestamp":1556330185000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200001596\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["S0022481200001596"],"URL":"https:\/\/doi.org\/10.2178\/jsl\/1309952527","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}