{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:04:32Z","timestamp":1759147472361},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T00:00:00Z","timestamp":1427760000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1007\/s00153-015-0426-y","type":"journal-article","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T00:45:56Z","timestamp":1427676356000},"page":"531-553","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Intuitionistic fixed point theories over set theories"],"prefix":"10.1007","volume":"54","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,31]]},"reference":[{"key":"426_CR1","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s001530050089","volume":"37","author":"T. Arai","year":"1998","unstructured":"Arai T.: Consistency proof via pointwise induction. Arch. Math. Logic 37, 149\u2013165 (1998)","journal-title":"Arch. Math. Logic"},{"key":"426_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0168-0072(98)00020-7","volume":"95","author":"T. Arai","year":"1998","unstructured":"Arai T.: Some results on cut-elimination, provable well-orderings, induction and reflection. Ann. Pure Appl. Logic 95, 93\u2013184 (1998)","journal-title":"Ann. Pure Appl. Logic"},{"key":"426_CR3","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1002\/malq.200710067","volume":"6","author":"T. Arai","year":"2008","unstructured":"Arai T.: Non-elementary speed-ups in logic calculi. Math. Logic Q. 6, 629\u2013640 (2008)","journal-title":"Math. Logic Q."},{"key":"426_CR4","first-page":"1","volume-title":"Proofs Categories and Computations. Essays in honor of Grigori Mints","author":"T. Arai","year":"2010","unstructured":"Arai T.: Intuitionistic fixed point theories over Heyting arithmetic. In: Feferman, S., Sieg, W. (eds.) Proofs Categories and Computations. Essays in honor of Grigori Mints, pp. 1\u201314. College Publications, King\u2019s College London, London (2010)"},{"key":"426_CR5","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1016\/j.apal.2011.03.002","volume":"162","author":"T. Arai","year":"2011","unstructured":"Arai T.: Quick cut-elimination for strictly positive cuts. Ann. Pure Appl. Logic 162, 807\u2013815 (2011)","journal-title":"Ann. Pure Appl. Logic"},{"key":"426_CR6","doi-asserted-by":"crossref","first-page":"1350003","DOI":"10.1142\/S0219061313500037","volume":"13","author":"T. Arai","year":"2013","unstructured":"Arai T.: Proof theory of weak compactness. J. Math. Logic 13, 1350003 (2013)","journal-title":"J. Math. Logic"},{"key":"426_CR7","doi-asserted-by":"crossref","unstructured":"Arai, T.: Conservations of first-order reflections. J. Symb. Logic 79, 814\u2013825 (2014)","DOI":"10.1017\/jsl.2014.7"},{"key":"426_CR8","doi-asserted-by":"crossref","unstructured":"Arai, T.: Lifting proof theory to the countable ordinals : Zermelo\u2013Fraenkel\u2019s set theory. J. Symb. Logic 79, 25\u2013354 (2014)","DOI":"10.1017\/jsl.2014.6"},{"key":"426_CR9","unstructured":"Arai, T.: Proof theory of second order indescribability (in preparation)"},{"key":"426_CR10","doi-asserted-by":"crossref","first-page":"768","DOI":"10.2307\/2275783","volume":"61","author":"J. Avigad","year":"1996","unstructured":"Avigad J.: On the relationship between ATR0 and $${\\widehat{\\rm ID}_{ < \\omega}}$$ ID ^ < \u03c9 . J. Symb. Logic 61, 768\u2013779 (1996)","journal-title":"J. Symb. Logic"},{"key":"426_CR11","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. Springer, Berlin (1975)"},{"key":"426_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2140\/pjm.1979.84.1","volume":"84","author":"M. Beeson","year":"1979","unstructured":"Beeson M.: Goodman\u2019s theorem and beyond. Pac. J. Math. 84, 1\u201316 (1979)","journal-title":"Pac. J. Math."},{"key":"426_CR13","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BFb0091898","volume-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, vol. 897","author":"W. Buchholz","year":"1981","unstructured":"Buchholz W.: $${{\\it\\Omega}_{\\mu+1}}$$ \u03a9 \u03bc + 1 -rule. In: Buchholz, W., Feferman, S., Pohlers, W., Sieg, W. (eds.) Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, vol. 897, pp. 188\u2013233. Springer, Berlin (1981)"},{"key":"426_CR14","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF01621472","volume":"30","author":"W. Buchholz","year":"1991","unstructured":"Buchholz W.: Notation system for infinitary derivations. Arch. Math. Logic 30, 277\u2013296 (1991)","journal-title":"Arch. Math. Logic"},{"key":"426_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s001530050079","volume":"37","author":"W. Buchholz","year":"1997","unstructured":"Buchholz W.: An intuitionistic fixed point theory. Arch. Math. Logic 37, 21\u201327 (1997)","journal-title":"Arch. Math. Logic"},{"key":"426_CR16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0049-237X(08)71364-8","volume-title":"Patras Logic Symposion","author":"S. Feferman","year":"1982","unstructured":"Feferman S.: Iterated inductive fixed-point theories: applications to Hancock\u2019s conjecture. In: Metakides, G. (ed.) Patras Logic Symposion, pp. 171\u2013196. North-Holland, Amsterdam (1982)"},{"key":"426_CR17","unstructured":"Mints, G.E.: Quick cut-elimination for monotone cuts. In: Games, Logic, and Constructive Sets (Stanford, CA, 2000), CSLI Lecture Notes, vol. 161, pp. 75\u201383. CSLI Publications, Stanford (2003)"},{"key":"426_CR18","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1002\/1521-3870(200202)48:2<195::AID-MALQ195>3.0.CO;2-S","volume":"48","author":"C. R\u00fcede","year":"2002","unstructured":"R\u00fcede C., Strahm T.: Intuitionistic fixed point theories for strictly positive operators. Math. Logic Q. 48, 195\u2013202 (2002)","journal-title":"Math. Logic Q."},{"key":"426_CR19","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1007\/978-1-4020-5764-9_10","volume-title":"Handbook of Set Theory, vol. 1","author":"R. Schindler","year":"2010","unstructured":"Schindler R., Zeman M.: Fine structure. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, vol. 1, pp. 605\u2013656. Springer, Berlin (2010)"},{"key":"426_CR20","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North-Holland, Amsterdam (1987). Reprinted from Dover Publications (2013)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0426-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0426-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0426-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T15:54:44Z","timestamp":1558626884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0426-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,31]]},"references-count":20,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2015,8]]}},"alternative-id":["426"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0426-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,31]]}}}