{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:00Z","timestamp":1740108180622,"version":"3.37.3"},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T00:00:00Z","timestamp":1531440000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000777","name":"University of Leeds","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000777","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005714","name":"Technische Universit\u00e4t Darmstadt","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100005714","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1007\/s00153-018-0639-y","type":"journal-article","created":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T08:19:30Z","timestamp":1531469970000},"page":"339-346","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A note on iterated consistency and infinite proofs"],"prefix":"10.1007","volume":"58","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5456-5790","authenticated-orcid":false,"given":"Anton","family":"Freund","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,13]]},"reference":[{"issue":"6","key":"639_CR1","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/s00153-002-0158-7","volume":"42","author":"L Beklemishev","year":"2003","unstructured":"Beklemishev, L.: Proof-theoretic analysis by iterated reflection. Arch. Math. Logic 42(6), 515\u2013552 (2003)","journal-title":"Arch. Math. Logic"},{"key":"639_CR2","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF01621472","volume":"30","author":"W Buchholz","year":"1991","unstructured":"Buchholz, W.: Notation systems for infinitary derivations. Arch. Math. Logic 30, 277\u2013296 (1991)","journal-title":"Arch. Math. Logic"},{"key":"639_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0049-237X(98)80018-9","volume-title":"Handbook of Proof Theory","author":"M Fairtlough","year":"1998","unstructured":"Fairtlough, M., Wainer, S.S.: Hierarchies of provably recursive functions. In: Buss, S. (ed.) Handbook of Proof Theory, pp. 149\u2013207. Elsevier, New York (1998)"},{"key":"639_CR4","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/malq.19680140702","volume":"14","author":"G Kreisel","year":"1968","unstructured":"Kreisel, G., L\u00e9vy, A.: Reflection principles and their use for establishing the complexity of axiomatic systems. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 14, 97\u2013142 (1968)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"639_CR5","first-page":"335","volume-title":"Logic Colloquium \u201878","author":"UR Schmerl","year":"1979","unstructured":"Schmerl, U.R.: A fine structure generated by reflection formulas over primitive recursive arithmetic. In: Boffa, M., van Dalen, D., MacAloon, K. (eds.) Logic Colloquium \u201878, pp. 335\u2013350. North Holland, New York (1979)"},{"issue":"4","key":"639_CR6","doi-asserted-by":"publisher","first-page":"721","DOI":"10.2307\/2273094","volume":"47","author":"UR Schmerl","year":"1982","unstructured":"Schmerl, U.R.: Iterated reflection principles and the \n                    \n                      \n                    \n                    $$\\omega $$\n                    \n                      \n                        \u03c9\n                      \n                    \n                  -rule. J. Symb. Logic 47(4), 721\u2013733 (1982)","journal-title":"J. Symb. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0639-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-018-0639-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-018-0639-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T11:11:19Z","timestamp":1569409879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-018-0639-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,13]]},"references-count":6,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["639"],"URL":"https:\/\/doi.org\/10.1007\/s00153-018-0639-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2018,7,13]]},"assertion":[{"value":"5 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 July 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}