{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,18]],"date-time":"2023-04-18T04:37:51Z","timestamp":1681792671987},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T00:00:00Z","timestamp":1661299200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T00:00:00Z","timestamp":1661299200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1007\/s00153-022-00840-8","type":"journal-article","created":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T10:05:49Z","timestamp":1661335549000},"page":"333-357","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Wellfoundedness proof with the maximal distinguished set"],"prefix":"10.1007","volume":"62","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,24]]},"reference":[{"key":"840_CR1","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s001530050153","volume":"39","author":"T Arai","year":"2000","unstructured":"Arai, T.: Ordinal diagrams for recursively Mahlo universes. Archiv. Math. Logic 39, 353\u2013391 (2000)","journal-title":"Archiv. Math. Logic"},{"key":"840_CR2","doi-asserted-by":"publisher","first-page":"1375","DOI":"10.2307\/2586705","volume":"65","author":"T Arai","year":"2000","unstructured":"Arai, T.: Ordinal diagrams for $$\\Pi _{3}$$-reflection. J. Symb. Logic 65, 1375\u20131394 (2000)","journal-title":"J. Symb. Logic"},{"key":"840_CR3","doi-asserted-by":"publisher","first-page":"830","DOI":"10.2178\/jsl\/1096901770","volume":"69","author":"T Arai","year":"2004","unstructured":"Arai, T.: Wellfoundedness proofs by means of non-monotonic inductive definitions I: $$\\Pi ^{0}_{2}$$-operators. J. Symb. Logic 69, 830\u2013850 (2004)","journal-title":"J. Symb. Logic"},{"key":"840_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/j.apal.2010.08.002","volume":"162","author":"T Arai","year":"2010","unstructured":"Arai, T.: Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators. Ann. Pure Appl. Logic 162, 107\u2013143 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"840_CR5","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1017\/jsl.2020.23","volume":"85","author":"T Arai","year":"2020","unstructured":"Arai, T.: A simplified ordinal analysis of first-order reflection. J. Symb. Logic 85, 1163\u20131185 (2020)","journal-title":"J. Symb. Logic"},{"key":"840_CR6","unstructured":"Arai, T.: Well-foundedness proof for first order reflection, arXiv:1506.05280"},{"key":"840_CR7","unstructured":"Arai, T.: An ordinal analysis of a single stable ordinal, submitted"},{"key":"840_CR8","doi-asserted-by":"publisher","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":"840_CR9","doi-asserted-by":"crossref","unstructured":"Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. In: Diller, J., M\u00fcller, G. H. (eds.) Proof Theory Symposion Kiel 1974, Lect. Notes Math. vol. 500, pp. 4-25, Springer (1975)","DOI":"10.1007\/BFb0079544"},{"key":"840_CR10","unstructured":"J\u00e4ger, G.: Theories for admissible sets, A unifying approach to proof theory, Studies in Proof Theory Lecture Notes 2. Bibliopolis, Napoli (1986)"},{"key":"840_CR11","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s00153-004-0232-4","volume":"44","author":"M Rathjen","year":"2005","unstructured":"Rathjen, M.: An ordinal analysis of parameter free $$\\Pi ^{1}_{2}$$-comprehension. Arch. Math. Logic 44, 263\u2013362 (2005)","journal-title":"Arch. Math. Logic"},{"key":"840_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S.: Subsystems of Second Order Arithmetic, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00840-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00840-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00840-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T03:45:56Z","timestamp":1681703156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00840-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,24]]},"references-count":12,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["840"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00840-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,24]]},"assertion":[{"value":"23 November 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}