{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:22:55Z","timestamp":1775053375633,"version":"3.50.1"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007558","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T08:49:28Z","timestamp":1123750168000},"page":"75-89","source":"Crossref","is-referenced-by-count":38,"title":["Ein in der reinen Zahlentheorie unbeweisbarer Satz \u00fcber endliche Folgen von nat\u00fcrlichen Zahlen"],"prefix":"10.1007","volume":"25","author":[{"given":"Kurt","family":"Sch\u00fctte","sequence":"first","affiliation":[]},{"given":"Stephen G.","family":"Simpson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02007558_CR1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/BFb0079544","volume":"500","author":"W. Buchholz","year":"1975","unstructured":"Buchholz, W.: Normalfunktionen und konstruktive Systeme von Ordinalzahlen. Proof Theory Symposion Kiel 1974. Springer Lecture Notes in Math.500, 4\u201325 (1975).","journal-title":"Springer Lecture Notes in Math"},{"key":"BF02007558_CR2","unstructured":"Buchholz, W.: A new system of proof-theoretical ordinal functions. In Vorbereitung."},{"key":"BF02007558_CR3","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/1385-7258(77)90067-1","volume":"39","author":"D. Jongh De","year":"1977","unstructured":"De Jongh, D., Parikh, R.: Well-partial-orderings and hierarchies. Indig. Math.39, 195\u2013207 (1977).","journal-title":"Indig. Math."},{"key":"BF02007558_CR4","unstructured":"Friedman, H.: Independence results in finite graph theory. Nicht ver\u00f6ffentlichte Manuskripte. Ohio State University 1981."},{"key":"BF02007558_CR5","unstructured":"Friedman, H.: Beyond Kruskal's theorem. Nicht ver\u00f6ffentlichte Manuskripte. Ohio State University 1982."},{"key":"BF02007558_CR6","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1112\/plms\/s3-2.1.326","volume":"2","author":"G. Higman","year":"1952","unstructured":"Higman, G.: Ordering by divisibility in abstract algebras. Proc. London Math. Soc.2, 326\u2013336 (1952).","journal-title":"Proc. London Math. Soc."},{"key":"BF02007558_CR7","unstructured":"Schmidt, D.: Well-partial-orderings and their maximal order types. Habilitationsschrift Heidelberg 1979."},{"key":"BF02007558_CR8","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K.: Proof Theory. Berlin, Heidelberg, New York 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"BF02007558_CR9","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF02007556","volume":"25","author":"S.G. Simpson","year":"1985","unstructured":"Simpson, S.G.: Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher B\u00e4ume. Arch. math. Logik25, 45\u201365 (1985).","journal-title":"Arch. math. Logik"}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007558.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007558\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T07:29:37Z","timestamp":1557818977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007558"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007558"],"URL":"https:\/\/doi.org\/10.1007\/bf02007558","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}