{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:57:47Z","timestamp":1777856267768,"version":"3.51.4"},"reference-count":23,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T00:00:00Z","timestamp":1771545600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100003130","name":"FWO","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["460597863"],"award-info":[{"award-number":["460597863"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["STA-139"],"award-info":[{"award-number":["STA-139"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.apal.2026.103740","type":"journal-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:57:55Z","timestamp":1771516675000},"page":"103740","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Induction on dilators and Bachmann-Howard fixed points"],"prefix":"10.1016","volume":"177","author":[{"given":"Juan P.","family":"Aguilera","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5456-5790","authenticated-orcid":false,"given":"Anton","family":"Freund","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Weiermann","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"55","key":"10.1016\/j.apal.2026.103740_br0010","doi-asserted-by":"crossref","first-page":"32","DOI":"10.2307\/2274952","article-title":"Uses of dilators in combinatorial problems. II","volume":"1","author":"Abrusci","year":"1990","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103740_br0020","article-title":"Admissible Sets and Structures","volume":"vol. 7","author":"Barwise","year":"1975"},{"key":"10.1016\/j.apal.2026.103740_br0030","series-title":"Type-Two Well-Ordering Principles, Admissible Sets, and \u03a011-Comprehension","author":"Freund","year":"2018"},{"key":"10.1016\/j.apal.2026.103740_br0040","doi-asserted-by":"crossref","DOI":"10.1016\/j.aim.2019.106767","article-title":"\u03a011-comprehension as a well-ordering principle","volume":"355","author":"Freund","year":"2019","journal-title":"Adv. Math."},{"issue":"2","key":"10.1016\/j.apal.2026.103740_br0050","doi-asserted-by":"crossref","DOI":"10.1142\/S0219061320500063","article-title":"Computable aspects of the Bachmann-Howard principle","volume":"20","author":"Freund","year":"2020","journal-title":"J. Math. Log."},{"issue":"1","key":"10.1016\/j.apal.2026.103740_br0060","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1017\/jsl.2019.83","article-title":"Predicative collapsing principles","volume":"85","author":"Freund","year":"2020","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103740_br0070","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1017\/jsl.2021.22","article-title":"Well ordering principles and \u03a041-statements: a pilot study","volume":"86","author":"Freund","year":"2021","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103740_br0080","article-title":"Dilators and the reverse mathematics zoo","author":"Freund","year":"2026","journal-title":"J. Math. Log."},{"issue":"2","key":"10.1016\/j.apal.2026.103740_br0090","doi-asserted-by":"crossref","DOI":"10.1016\/j.apal.2020.102890","article-title":"Derivatives of normal functions in reverse mathematics","volume":"172","author":"Freund","year":"2021","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2026.103740_br0100","doi-asserted-by":"crossref","DOI":"10.1007\/s00029-023-00879-2","article-title":"Well ordering principles for iterated \u03a011-comprehension","volume":"29","author":"Freund","year":"2023","journal-title":"Sel. Math."},{"key":"10.1016\/j.apal.2026.103740_br0110","first-page":"75","article-title":"\u03a021-logic, part 1: dilators","volume":"21","author":"Girard","year":"1981","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2026.103740_br0120","author":"Girard"},{"key":"10.1016\/j.apal.2026.103740_br0130","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00486046","article-title":"Introduction to \u03a021-logic","volume":"62","author":"Girard","year":"1985","journal-title":"Synthese"},{"key":"10.1016\/j.apal.2026.103740_br0140","article-title":"Theories for Admissible Sets. A Unifying Approach to Proof Theory","author":"J\u00e4ger","year":"1986"},{"key":"10.1016\/j.apal.2026.103740_br0150","series-title":"Axiomatic Set Theory","first-page":"143","article-title":"Primitive recursive set functions","volume":"vol. XIII, part I","author":"Jensen","year":"1971"},{"key":"10.1016\/j.apal.2026.103740_br0160","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BF01624083","article-title":"Rekursion \u00fcber Dilatoren und die Bachmann-Hierarchie","volume":"28","author":"P\u00e4ppinghaus","year":"1989","journal-title":"Arch. Math. Log."},{"key":"10.1016\/j.apal.2026.103740_br0170","doi-asserted-by":"crossref","first-page":"954","DOI":"10.2307\/2275441","article-title":"A proof-theoretic characterization of the primitive recursive set functions","volume":"57","author":"Rathjen","year":"1992","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103740_br0180","series-title":"Foundational Adventures: Essays in Honor of Harvey M. Friedman","first-page":"179","article-title":"\u03c9-models and well-ordering principles","author":"Rathjen","year":"2014"},{"key":"10.1016\/j.apal.2026.103740_br0190","series-title":"Axiomatic Thinking II","first-page":"89","article-title":"Well-ordering principles in proof theory and reverse mathematics","author":"Rathjen","year":"2022"},{"key":"10.1016\/j.apal.2026.103740_br0200","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0168-0072(93)90192-G","article-title":"Proof-theoretic investigations on Kruskal's theorem","volume":"60","author":"Rathjen","year":"1993","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2026.103740_br0210","series-title":"Logic Colloquium '80","first-page":"255","article-title":"Set theoretic aspects of ATR0","author":"Simpson","year":"1982"},{"key":"10.1016\/j.apal.2026.103740_br0220","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0168-0072(95)00029-G","article-title":"Transfinite induction within Peano arithmetic","volume":"76","author":"Sommer","year":"1995","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.apal.2026.103740_br0230","doi-asserted-by":"crossref","DOI":"10.1007\/s00029-025-01071-4","article-title":"On inverse Goodstein sequences","volume":"31","author":"Uftring","year":"2025","journal-title":"Sel. Math."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000230?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000230?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T23:38:07Z","timestamp":1777505887000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":23,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0168007226000230"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103740","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Induction on dilators and Bachmann-Howard fixed points","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103740","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103740"}}