{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T06:14:45Z","timestamp":1775628885942,"version":"3.50.1"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2006,6,15]],"date-time":"2006-06-15T00:00:00Z","timestamp":1150329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s00153-006-0010-6","type":"journal-article","created":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T13:25:34Z","timestamp":1150291534000},"page":"807-829","source":"Crossref","is-referenced-by-count":14,"title":["The Bachmann-Howard Structure in Terms of \u03a31-Elementarity"],"prefix":"10.1007","volume":"45","author":[{"given":"Gunnar","family":"Wilken","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,6,15]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s001530050150","volume":"38","author":"T.J. Carlson","year":"1999","unstructured":"Carlson T.J. (1999) Ordinal arithmetic and \u03a31-elementarity. Arch. Math. Logic 38, 449\u2013460","journal-title":"Arch. Math. Logic"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0168-0072(99)00048-2","volume":"105","author":"T.J. Carlson","year":"2000","unstructured":"Carlson T.J. (2000) Knowledge, machines, and the consistency of Reinhardt\u2019s strong mechanistic thesis. Ann. Pure Appl. Logic 105, 51\u201382","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0168-0072(00)00040-3","volume":"108","author":"T.J. Carlson","year":"2001","unstructured":"Carlson T.J. (2001) Elementary patterns of resemblance. Ann. Pure Appl. Logic 108, 19\u201377","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR4","volume-title":"Proof theory. An introduction. Lect Notes. Math, vol 1407","author":"W. Pohlers","year":"1989","unstructured":"Pohlers W. (1989) Proof theory. An introduction. Lect. Notes. Math, vol 1407. Springer, Berlin Heidelberg New York"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF01621474","volume":"30","author":"W. Pohlers","year":"1991","unstructured":"Pohlers W. (1991) Proof theory and ordinal analysis. Arch. Math. Logic 30, 311\u2013376","journal-title":"Arch. Math. Logic"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1002\/malq.19930390107","volume":"39","author":"M. Rathjen","year":"1993","unstructured":"Rathjen M. (1993) How to develop proof-theoretic ordinal functions on the basis of admissible sets. Math. Logic Q 39, 47\u201354","journal-title":"Math. Logic Q"},{"issue":"3","key":"10_CR7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s00153-004-0232-4","volume":"44","author":"M. Rathjen","year":"2005","unstructured":"Rathjen M. (2005) An ordinal analysis of parameter free $$\\Pi^{1}_{2}$$ -comprehension. Arch. Math. Logic 44(3): 263\u2013362","journal-title":"Arch. Math. Logic"},{"key":"10_CR8","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. (1993) Proof-theoretic investigations on Kruskal\u2019s theorem. Ann. Pure Appl. Logic 60, 49\u201388","journal-title":"Ann. Pure Appl. Logic"},{"key":"10_CR9","unstructured":"Schl\u00fcter A. Zur Mengenexistenz in formalen Theorien der Mengenlehre. Thesis (Dissertation), University of M\u00fcnster (1993)"},{"key":"10_CR10","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. (1985) Ein in der reinen Zahlentheorie unbeweisbarer Satz \u00fcber endliche Folgen von nat\u00fcrlichen Zahlen. Archiv mathematische Logik Grundlagenforschung 25, 75\u201389","journal-title":"Archiv mathematische Logik Grundlagenforschung"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0049-237X(09)70156-9","volume-title":"Harvey Friedman\u2019s research on the foundations of mathematics","author":"S.G. Simpson","year":"1985","unstructured":"Simpson S.G. (1985) Nonprovability of certain combinatorial properties of finite trees. In: Harrington L.A. et\u00a0al. (eds) Harvey Friedman\u2019s research on the foundations of mathematics. Elsevier, North Holland, pp. 87\u2013117"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1006\/jsco.1994.1059","volume":"18","author":"A. Weiermann","year":"1994","unstructured":"Weiermann A. (1994) Complexity bounds for some finite forms of Kruskal\u2019s theorem. J. Symbolic Comput. 18, 463\u2013488","journal-title":"J. Symbolic Comput."},{"key":"10_CR13","unstructured":"Wilken G. \u03a31-elementarity and Skolem hull operators. Thesis (Dissertation), University of M\u00fcnster (2004)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0010-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-006-0010-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-006-0010-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:41Z","timestamp":1558640201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-006-0010-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,15]]},"references-count":13,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s00153-006-0010-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,6,15]]}}}