{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T01:49:53Z","timestamp":1649123393995},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T00:00:00Z","timestamp":1564444800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T00:00:00Z","timestamp":1564444800000},"content-version":"vor","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":[[2020,5]]},"DOI":"10.1007\/s00153-019-00689-4","type":"journal-article","created":{"date-parts":[[2019,7,30]],"date-time":"2019-07-30T17:03:01Z","timestamp":1564506181000},"page":"257-275","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Proof-theoretic strengths of the well-ordering principles"],"prefix":"10.1007","volume":"59","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,30]]},"reference":[{"key":"689_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.apal.2009.01.001","volume":"160","author":"B Afshari","year":"2009","unstructured":"Afshari, B., Rathjen, M.: Reverse mathematics and well-ordering principles: a pilot study. Ann. Pure Appl. Log. 160, 231\u2013237 (2009)","journal-title":"Ann. Pure Appl. Log."},{"key":"689_CR2","doi-asserted-by":"publisher","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. Log. 95, 93\u2013184 (1998)","journal-title":"Ann. Pure Appl. Log."},{"key":"689_CR3","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s00153-017-0600-5","volume":"57","author":"T Arai","year":"2017","unstructured":"Arai, T.: Derivatives of normal functions and $$\\omega $$-models. Arch. Math. Log. 57, 649\u2013664 (2017)","journal-title":"Arch. Math. Log."},{"key":"689_CR4","volume-title":"Proof Theory and Logical Complexity","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y.: Proof Theory and Logical Complexity, vol. 1. Bibliopolis, Napoli (1987)"},{"key":"689_CR5","doi-asserted-by":"publisher","first-page":"575","DOI":"10.2178\/jsl\/1305810765","volume":"76","author":"A Marcone","year":"2011","unstructured":"Marcone, A., Montalb\u00e1n, A.: The Veblen functions for computability theorists. J. Symb. Log. 76, 575\u2013602 (2011)","journal-title":"J. Symb. Log."},{"key":"689_CR6","first-page":"179","volume-title":"IFoundational Adventures: Essays in Honor of Harvey M. Friedman","author":"M Rathjen","year":"2014","unstructured":"Rathjen, M.: $$\\omega $$-models and well-ordering principles. In: Tennant, N. (ed.) IFoundational Adventures: Essays in Honor of Harvey M. Friedman, pp. 179\u2013212. College Publications, London (2014)"},{"key":"689_CR7","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1142\/9781848162778_0011","volume-title":"Computability in Context: Computation and Logic in the Real World","author":"M Rathjen","year":"2011","unstructured":"Rathjen, M., Weiermann, A.: Reverse mathematics and well-ordering principles. In: Cooper, S., Sorbi, A. (eds.) Computability in Context: Computation and Logic in the Real World, pp. 351\u2013370. Imperial College Press, London (2011)"},{"key":"689_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte, K.: Proof Theory. Springer, Berlin (1977)"},{"key":"689_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic, 2nd Edition, Perspectives in Logic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic, 2nd Edition, Perspectives in Logic. Cambridge UP, Cambridge (2009)"},{"key":"689_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.3792\/pja\/1195523052","volume":"39","author":"G Takeuti","year":"1963","unstructured":"Takeuti, G.: A remark on Gentzen\u2019s paper \u201cBeweibarkeit und Unbeweisbarkeit von Anfangsf\u00e4llen der transfiniten Induktion in der reinen Zahlentheorie\u201d. Proc. Jpn. Acad. 39, 263\u2013269 (1963)","journal-title":"Proc. Jpn. Acad."},{"key":"689_CR11","volume-title":"Proof Theory","author":"G Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North-Holland, Amsterdam (1987)","edition":"2"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00689-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-019-00689-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-019-00689-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T23:09:11Z","timestamp":1595977751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-019-00689-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,30]]},"references-count":11,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2020,5]]}},"alternative-id":["689"],"URL":"https:\/\/doi.org\/10.1007\/s00153-019-00689-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,30]]},"assertion":[{"value":"1 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}