{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:29:58Z","timestamp":1777548598873,"version":"3.51.4"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,11,15]],"date-time":"2017-11-15T00:00:00Z","timestamp":1510704000000},"content-version":"unspecified","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":[[2018,8]]},"DOI":"10.1007\/s00153-017-0600-5","type":"journal-article","created":{"date-parts":[[2017,11,15]],"date-time":"2017-11-15T16:47:37Z","timestamp":1510764457000},"page":"649-664","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Derivatives of normal functions and \n                $$\\omega $$\n                \n                    \n                        \u03c9\n                    \n                \n            -models"],"prefix":"10.1007","volume":"57","author":[{"given":"Toshiyasu","family":"Arai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,15]]},"reference":[{"key":"600_CR1","doi-asserted-by":"crossref","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":"600_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. Log. 95, 93\u2013184 (1998)","journal-title":"Ann. Pure Appl. Log."},{"key":"600_CR3","doi-asserted-by":"crossref","first-page":"193","DOI":"10.2307\/2269866","volume":"33","author":"S Feferman","year":"1968","unstructured":"Feferman, S.: Systems of predicative analysis II: representations of ordinals. J. Symb. Log. 33, 193\u2013220 (1968)","journal-title":"J. Symb. Log."},{"key":"600_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":"600_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(94)90076-0","volume":"66","author":"JL Hirst","year":"1994","unstructured":"Hirst, J.L.: Reverse mathematics and ordinal exponentiation. Ann. Pure Appl. Logic 66, 1\u201318 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"key":"600_CR6","doi-asserted-by":"crossref","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":"600_CR7","first-page":"179","volume-title":"In Foundational Adventures: Essays in Honor of Harvey M. Friedman","author":"M Rathjen","year":"2014","unstructured":"Rathjen, M.: \n                        $$\\omega $$\n                        \n                            \n                                \u03c9\n                            \n                        \n                    -models and well-ordering principles. In: Tennant, N. (ed.) In Foundational Adventures: Essays in Honor of Harvey M. Friedman, pp. 179\u2013212. College Publications, London (2014)"},{"key":"600_CR8","doi-asserted-by":"crossref","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":"600_CR9","doi-asserted-by":"crossref","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":"600_CR10","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Subsystems of second order arithmetic. In: Feferman, S., Hodges, W. A., Lerman, M., Macintyre, A. J., Magidor, M., Moschovakis, Y. N. (eds.) Perspectives in Logic, 2nd edn. Cambridge UP, Cambridge (2009)","DOI":"10.1017\/CBO9780511581007"},{"key":"600_CR11","doi-asserted-by":"crossref","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. Japan Acad. 39, 263\u2013269 (1963)","journal-title":"Proc. Japan Acad."},{"key":"600_CR12","volume-title":"Proof Theory","author":"G Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory. North-Holland, Amsterdam (1987)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0600-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0600-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0600-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T08:21:23Z","timestamp":1531729283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0600-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,15]]},"references-count":12,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["600"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0600-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,15]]}}}