{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:50:32Z","timestamp":1778766632580,"version":"3.51.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2016,11,5]],"date-time":"2016-11-05T00:00:00Z","timestamp":1478304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"FWO"},{"DOI":"10.13039\/100000925","name":"John Templeton Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000925","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s00153-016-0515-6","type":"journal-article","created":{"date-parts":[[2016,11,5]],"date-time":"2016-11-05T09:54:30Z","timestamp":1478339670000},"page":"79-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["An order-theoretic characterization of the Howard\u2013Bachmann-hierarchy"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4869-9001","authenticated-orcid":false,"given":"Jeroen","family":"Van der Meeren","sequence":"first","affiliation":[]},{"given":"Michael","family":"Rathjen","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Weiermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,11,5]]},"reference":[{"key":"515_CR1","doi-asserted-by":"crossref","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner bases\u2014A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141. Springer, New York (1993)","DOI":"10.1007\/978-1-4612-0913-3_5"},{"key":"515_CR2","unstructured":"Buchholz, W., Sch\u00fctte, K.: Proof Theory of Impredicative Subsystems of Analysis. Studies in Proof Theory. Monographs, vol.\u00a02. Bibliopolis, Naples (1988)"},{"key":"515_CR3","doi-asserted-by":"crossref","unstructured":"Buchholz, W., Feferman, S., Pohlers, W., Sieg, W.: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, vol. 897. Springer, Berlin (1981)","DOI":"10.1007\/BFb0091894"},{"issue":"3","key":"515_CR4","doi-asserted-by":"crossref","first-page":"683","DOI":"10.2178\/jsl\/1096901762","volume":"69","author":"P Cholak","year":"2004","unstructured":"Cholak, P., Marcone, A., Solomon, R.: Reverse mathematics and the equivalence of definitions for well and better quasi-orders. J. Symb. Logic 69(3), 683\u2013712 (2004)","journal-title":"J. Symb. Logic"},{"key":"515_CR5","doi-asserted-by":"crossref","unstructured":"Clote, P.: The metamathematics of Fra\u00efss\u00e9\u2019s order type conjecture. In: Recursion Theory Week (Oberwolfach, 1989), Lecture Notes in Mathematics, vol. 1432, pp. 41\u201356. Springer, Berlin (1990)","DOI":"10.1007\/BFb0086113"},{"issue":"3","key":"515_CR6","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/1385-7258(77)90067-1","volume":"39","author":"DHJ Jongh de","year":"1977","unstructured":"de Jongh, D.H.J., Parikh, R.: Well-partial orderings and hierarchies. Nederl. Akad. Wetensch. Proc. Ser. A 80 = Indag. Math. 39(3), 195\u2013207 (1977)","journal-title":"Nederl. Akad. Wetensch. Proc. Ser. A 80 = Indag. Math."},{"key":"515_CR7","unstructured":"Girard, J.Y.: Proof Theory and Logical Complexity, Studies in Proof Theory. Monographs, vol.\u00a01. Bibliopolis, Naples (1987)"},{"issue":"2","key":"515_CR8","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"3","author":"G Higman","year":"1952","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. 3(2), 326\u2013336 (1952)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"1","key":"515_CR9","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), 1\u201318 (1994)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"8","key":"515_CR10","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1007\/s001530050165","volume":"39","author":"JL Hirst","year":"2000","unstructured":"Hirst, J.L.: Reverse mathematics and rank functions for directed graphs. Arch. Math. Logic 39(8), 569\u2013579 (2000)","journal-title":"Arch. Math. Logic"},{"issue":"1\u20133","key":"515_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0168-0072(98)00056-6","volume":"97","author":"G J\u00e4ger","year":"1999","unstructured":"J\u00e4ger, G., Strahm, T.: Bar induction and $$\\omega $$ \u03c9 model reflection. Ann. Pure Appl. Logic 97(1\u20133), 221\u2013230 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"515_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0097-3165(72)90063-5","volume":"13","author":"JB Kruskal","year":"1972","unstructured":"Kruskal, J.B.: The theory of well-quasi-ordering: a frequently discovered concept. J. Comb. Theory Ser. A 13, 297\u2013305 (1972)","journal-title":"J. Comb. Theory Ser. A"},{"issue":"93","key":"515_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.2307\/1970754","volume":"2","author":"R Laver","year":"1971","unstructured":"Laver, R.: On Fra\u00efss\u00e9\u2019s order type conjecture. Ann. Math. 2(93), 89\u2013111 (1971)","journal-title":"Ann. Math."},{"key":"515_CR14","doi-asserted-by":"crossref","unstructured":"Marcone, A.: On the logical strength of Nash\u2013Williams\u2019 theorem on transfinite sequences. In: Logic: from foundations to applications (Staffordshire, 1993), Oxford Sci. Publ., pp. 327\u2013351. Oxford University Press, New York (1996)","DOI":"10.1093\/oso\/9780198538622.003.0014"},{"key":"515_CR15","doi-asserted-by":"crossref","unstructured":"Pohlers, W.: Proof Theory, Lecture Notes in Mathematics, vol. 1407. Springer, Berlin (1989)","DOI":"10.1007\/978-3-540-46825-7"},{"key":"515_CR16","volume-title":"Proof Theory: The First Step into impredicativity (Universitext)","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W.: Proof Theory: The First Step into impredicativity (Universitext). Springer, Berlin (2009)"},{"issue":"1","key":"515_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0168-0072(93)90192-G","volume":"60","author":"M Rathjen","year":"1993","unstructured":"Rathjen, M., Weiermann, A.: Proof-theoretic investigations on Kruskal\u2019s theorem. Ann. Pure Appl. Logic 60(1), 49\u201388 (1993)","journal-title":"Ann. Pure Appl. Logic"},{"key":"515_CR18","volume-title":"Well-Partial Orderings and Their Maximal Order Types","author":"D Schmidt","year":"1979","unstructured":"Schmidt, D.: Well-Partial Orderings and Their Maximal Order Types. Habilitationsschrift, Heidelberg (1979)"},{"key":"515_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K.: Proof Theory. Springer, Berlin (1977). Translated from the revised German edition by J. N. Crossley, Grundlehren der Mathematischen Wissenschaften, Band 225","DOI":"10.1007\/978-3-642-66473-1"},{"issue":"1\u20132","key":"515_CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF02007558","volume":"25","author":"K Sch\u00fctte","year":"1985","unstructured":"Sch\u00fctte, K., Simpson, S.G.: Ein in der reinen Zahlentheorie unbeweisbarer Satz \u00fcber endliche Folgen von nat\u00fcrlichen Zahlen. Arch. Math. Logik Grundlag. 25(1\u20132), 75\u201389 (1985)","journal-title":"Arch. Math. Logik Grundlag."},{"key":"515_CR21","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Nonprovability of certain combinatorial properties of finite trees. In: Harvey Friedman\u2019s Research on the Foundations of Mathematics, Stud. Logic Found. Math., vol. 117, pp. 87\u2013117. North-Holland, Amsterdam (1985)","DOI":"10.1016\/S0049-237X(09)70156-9"},{"key":"515_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic. Perspectives in Logic","author":"SG Simpson","year":"2009","unstructured":"Simpson, S.G.: Subsystems of Second Order Arithmetic. Perspectives in Logic, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"issue":"1","key":"515_CR23","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s00153-014-0408-5","volume":"54","author":"J Meeren Van der","year":"2015","unstructured":"Van der Meeren, J., Rathjen, M., Weiermann, A.: Well-partial-orderings and the big Veblen number. Arch. Math. Logic 54(1), 193\u2013230 (2015)","journal-title":"Arch. Math. Logic"},{"key":"515_CR24","doi-asserted-by":"crossref","unstructured":"Weiermann, A.: Proving termination for term rewriting systems. In: Computer science logic (Berne, 1991), Lecture Notes in Comput. Sci., vol. 626, pp. 419\u2013428. Springer, Berlin (1992)","DOI":"10.1007\/BFb0023786"},{"issue":"2","key":"515_CR25","doi-asserted-by":"crossref","first-page":"664","DOI":"10.2307\/2275226","volume":"58","author":"A Weiermann","year":"1993","unstructured":"Weiermann, A.: Bounds for the closure ordinals of essentially monotonic increasing functions. J. Symb. Logic 58(2), 664\u2013671 (1993)","journal-title":"J. Symb. Logic"},{"issue":"3","key":"515_CR26","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1002\/malq.19930390141","volume":"39","author":"A Weiermann","year":"1993","unstructured":"Weiermann, A.: An order-theoretic characterization of the Sch\u00fctte\u2013Veblen-hierarchy. Math. Logic Q. 39(3), 367\u2013383 (1993)","journal-title":"Math. Logic Q."},{"key":"515_CR27","doi-asserted-by":"crossref","unstructured":"Weiermann, A.: A computation of the maximal order type of the term ordering on finite multisets. In: Mathematical Theory and Computational Practice, Lecture Notes in Computer Science, vol. 5635, pp. 488\u2013498. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03073-4_50"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0515-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0515-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0515-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,20]],"date-time":"2024-06-20T11:13:22Z","timestamp":1718882002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0515-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,5]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["515"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0515-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,11,5]]}}}