{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T11:29:56Z","timestamp":1777548596808,"version":"3.51.4"},"reference-count":15,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2020,9,28]],"date-time":"2020-09-28T00:00:00Z","timestamp":1601251200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[2020,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Michael Rathjen and the present author have shown that \u2010bar induction is equivalent to (a suitable formalization of) the statement that every normal function has a derivative, provably in . In this note we show that the base theory can be weakened to . Our argument makes crucial use of a normal function\u00a0<jats:italic>f<\/jats:italic> with  and . We shall also exhibit a normal function <jats:italic>g<\/jats:italic> with  and\u00a0.<\/jats:p>","DOI":"10.1002\/malq.201900059","type":"journal-article","created":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T06:32:43Z","timestamp":1601361163000},"page":"326-335","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A note on ordinal exponentiation and derivatives of normal functions"],"prefix":"10.1002","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5456-5790","authenticated-orcid":false,"given":"Anton","family":"Freund","sequence":"first","affiliation":[{"name":"Fachbereich Mathematik Technische Universit\u00e4t Darmstadt Schlossgartenstr. 7, 64289 Darmstadt Germany"}]}],"member":"311","published-online":{"date-parts":[[2020,9,28]]},"reference":[{"key":"e_1_2_6_2_1","unstructured":"P.Aczel Mathematical Problems in Logic Ph.D. thesis (University of Oxford 1966)."},{"key":"e_1_2_6_3_1","first-page":"430","article-title":"Normal functors on linear orderings","volume":"32","author":"Aczel P.","year":"1967","journal-title":"J. Symb. Log."},{"key":"e_1_2_6_4_1","doi-asserted-by":"crossref","unstructured":"A.Freund Type\u2010Two Well\u2010Ordering Principles Admissible Sets and\u03a011\u2010Comprehension Ph.D. thesis (University of Leeds 2018).","DOI":"10.1017\/bsl.2018.80"},{"issue":"2","key":"e_1_2_6_5_1","doi-asserted-by":"crossref","first-page":"2050006","DOI":"10.1142\/S0219061320500063","article-title":"Computable aspects of the Bachmann\u2010Howard principle","volume":"20","author":"Freund A.","year":"2020","journal-title":"J. Math. Log."},{"key":"e_1_2_6_6_1","unstructured":"A.FreundandM.Rathjen Derivatives of normal functions in reverse mathematics preprint (2019) arXiv:1904.04630."},{"key":"e_1_2_6_7_1","first-page":"75","article-title":"\u03a021\u2010logic, Part 1: Dilators","volume":"21","author":"Girard J.\u2010Y.","year":"1981","journal-title":"Ann. Pure Appl. Log."},{"key":"e_1_2_6_8_1","volume-title":"Proof Theory and Logical Complexity","author":"Girard J.\u2010Y.","year":"1987"},{"key":"e_1_2_6_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90076-0"},{"issue":"2","key":"e_1_2_6_10_1","doi-asserted-by":"crossref","first-page":"769","DOI":"10.2307\/2586499","article-title":"Ordinal inequalities, transfinite induction, and reverse mathematics","volume":"64","author":"Hirst J. L.","year":"1999","journal-title":"J. Symb. Log."},{"key":"e_1_2_6_11_1","volume-title":"Categories for the Working Mathematician","author":"Mac Lane S.","year":"1998"},{"key":"e_1_2_6_12_1","doi-asserted-by":"crossref","first-page":"575","DOI":"10.2178\/jsl\/1305810765","article-title":"The Veblen functions for computability theorists","volume":"76","author":"Marcone A.","year":"2011","journal-title":"J. Symb. Log."},{"key":"e_1_2_6_13_1","volume-title":"Proof Theory. The First Step into Impredicativity","author":"Pohlers W.","year":"2009"},{"key":"e_1_2_6_14_1","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/978-3-319-10103-3_19","volume-title":"Gentzen's Centenary: The Quest for Consistency","author":"Rathjen M.","year":"2015"},{"key":"e_1_2_6_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1"},{"key":"e_1_2_6_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201900059","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/malq.201900059","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.201900059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T13:41:42Z","timestamp":1693834902000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.201900059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,28]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["10.1002\/malq.201900059"],"URL":"https:\/\/doi.org\/10.1002\/malq.201900059","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9,28]]},"assertion":[{"value":"2019-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-05-05","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}