{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T09:55:03Z","timestamp":1649066103748},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T00:00:00Z","timestamp":1459382400000},"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":[[2016,5]]},"DOI":"10.1007\/s00153-016-0482-y","type":"journal-article","created":{"date-parts":[[2016,3,31]],"date-time":"2016-03-31T14:15:18Z","timestamp":1459433718000},"page":"593-603","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An extension of the omega-rule"],"prefix":"10.1007","volume":"55","author":[{"given":"Ryota","family":"Akiyoshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigori","family":"Mints","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,31]]},"reference":[{"key":"482_CR1","unstructured":"Akiyoshi, R.: Complete cut-elimination theorem for $$\\Omega _{\\mu +1}$$ \u03a9 \u03bc + 1 -rule. (2011, preprint)"},{"key":"482_CR2","unstructured":"Akiyoshi, R.: An ordinal-free proof of the complete cut-elimination theorem for $$\\Pi ^{1}_{1}$$ \u03a0 1 1 - $$CA+BI$$ C A + B I with the $$\\omega $$ \u03c9 -rule. (2013, preprint)"},{"issue":"1","key":"482_CR3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.21099\/tkbjm\/1496160191","volume":"9","author":"T Arai","year":"1985","unstructured":"Arai, T.: A subsystem of classical analysis proper to Takeuti\u2019s reduction method for $$\\Pi ^{1}_{1}$$ \u03a0 1 1 -analysis. Tsukuba J. Math. 9(1), 21\u201329 (1985)","journal-title":"Tsukuba J. Math."},{"key":"482_CR4","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BFb0091898","volume-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies","author":"W Buchholz","year":"1981","unstructured":"Buchholz, W.: The $$\\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":"482_CR5","doi-asserted-by":"crossref","unstructured":"Buchholz, W.: Explaining Gentzen\u2019s consistency proof within infinitary proof theory. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) Proceedings of the 5th Kurt G\u00f6del colloquium on computational logic and proof theory, vol. 1289, pp. 4\u201317. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63385-5_29"},{"key":"482_CR6","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s001530000064","volume":"40","author":"W Buchholz","year":"2001","unstructured":"Buchholz, W.: Explaining the Gentzen\u2013Takeuti reduction steps. Arch. Math. Logic 40, 255\u2013272 (2001)","journal-title":"Arch. Math. Logic"},{"key":"482_CR7","unstructured":"Buchholz, W., Sch\u00fctte, K.: Proof Theory of Impredicative Subsystems of Analysis. Monographs 2. Bibliopolis, Naples (1988)"},{"key":"482_CR8","unstructured":"Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweises f\u00fcr die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften. Neue Folge 4:19\u201344 (1938) (English translation in [14])"},{"key":"482_CR9","unstructured":"Girard, J.-Y.: Proof Theory and Logical Complexity, Vol. I of Studies in Proof Theory. Bibliopolis, Naples (1987)"},{"key":"482_CR10","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/s11225-012-9378-y","volume":"100","author":"G Mints","year":"2012","unstructured":"Mints, G.: Effective cut-elimination for a fragment of modal mu-calculus. Studia Log. 100, 279\u2013287 (2012)","journal-title":"Studia Log."},{"key":"482_CR11","first-page":"47","volume":"77","author":"G Mints","year":"2012","unstructured":"Mints, G., St\u00fcder, T.: Cut-elimination for the mu-calculus with one variable. Fixed Points Comput. Sci. 77, 47\u201354 (2012). (Open Publishing Association)","journal-title":"Fixed Points Comput. Sci."},{"key":"482_CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.2307\/2272979","volume":"37","author":"WA Howard","year":"1972","unstructured":"Howard, W.A.: A system of abstract constructive ordinals. J. Symb. Logic 37, 355\u2013374 (1972)","journal-title":"J. Symb. Logic"},{"key":"482_CR13","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BFb0091900","volume-title":"Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies","author":"W Pohlers","year":"1981","unstructured":"Pohlers, W.: Proof-theoretical analysis of ID $$_{\\nu }$$ \u03bd by the method of local predicativity. 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. 261\u2013357. Springer, Berlin (1981)"},{"key":"482_CR14","volume-title":"The Collected papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics","year":"1969","unstructured":"Szabo, M.E. (ed.): The Collected papers of Gerhard Gentzen. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1969)"},{"issue":"2","key":"482_CR15","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(2), 299\u2013348 (1967)","journal-title":"Ann. Math."},{"key":"482_CR16","volume-title":"Proof Theory, Volume\u00a081 of Studies in Logic and the Foundations of Mathematics","author":"G Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory, Volume\u00a081 of Studies in Logic and the Foundations of Mathematics, 2nd edn. North-Holland, Amsterdam (1987)","edition":"2"},{"issue":"3","key":"482_CR17","doi-asserted-by":"crossref","first-page":"308","DOI":"10.2969\/jmsj\/02230308","volume":"22","author":"M Yasugi","year":"1970","unstructured":"Yasugi, M.: Cut elimination theorem for second order arithmetic with the $$\\Pi ^{1}_{1}$$ \u03a0 1 1 -comprehension axiom and the $$\\omega $$ \u03c9 -rule. J. Math. Soc. Jpn. 22(3), 308\u2013324 (1970)","journal-title":"J. Math. Soc. Jpn."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0482-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0482-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0482-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T04:21:27Z","timestamp":1567743687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0482-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,31]]},"references-count":17,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["482"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0482-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3,31]]}}}