{"id":"https://openalex.org/W2040462567","doi":"https://doi.org/10.2307/2275019","title":"Generalizations of the one-dimensional version of the Kruskal-Friedman theorems","display_name":"Generalizations of the one-dimensional version of the Kruskal-Friedman theorems","publication_year":1989,"publication_date":"1989-03-01","ids":{"openalex":"https://openalex.org/W2040462567","doi":"https://doi.org/10.2307/2275019","mag":"2040462567"},"language":"en","primary_location":{"id":"doi:10.2307/2275019","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275019","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110937376","display_name":"L. Gordeev","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"L. Gordeev","raw_affiliation_strings":["Mathematisches Institut, Universit\u00e4t T\u00fcbingen, D-7400 T\u00fcbingen 1, West Germany","Universit\u00e0t T\u00fcbingen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mathematisches Institut, Universit\u00e4t T\u00fcbingen, D-7400 T\u00fcbingen 1, West Germany","institution_ids":["https://openalex.org/I8087733"]},{"raw_affiliation_string":"Universit\u00e0t T\u00fcbingen","institution_ids":["https://openalex.org/I8087733"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110937376"],"corresponding_institution_ids":["https://openalex.org/I8087733"],"apc_list":null,"apc_paid":null,"fwci":0.9578,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.74893314,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"54","issue":"1","first_page":"100","last_page":"121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8464369177818298},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6650735139846802},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.6040331125259399},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.5431843996047974},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.509905219078064},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4703167974948883},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4532015919685364},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.42093244194984436}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8464369177818298},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6650735139846802},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.6040331125259399},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.5431843996047974},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.509905219078064},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4703167974948883},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4532015919685364},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.42093244194984436},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275019","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275019","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183742855","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183742855","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W6616102","https://openalex.org/W78146983","https://openalex.org/W939628986","https://openalex.org/W1793763201","https://openalex.org/W1994073383","https://openalex.org/W2018765574","https://openalex.org/W2050939025","https://openalex.org/W2071823993","https://openalex.org/W2074338252","https://openalex.org/W2076508310","https://openalex.org/W2081002360","https://openalex.org/W2082844458","https://openalex.org/W2087489880","https://openalex.org/W4240833632","https://openalex.org/W6655199249"],"related_works":["https://openalex.org/W2166733079","https://openalex.org/W2971927321","https://openalex.org/W3126108959","https://openalex.org/W1707309362","https://openalex.org/W2492756589","https://openalex.org/W2212471609","https://openalex.org/W3043928474","https://openalex.org/W2105084963","https://openalex.org/W2070990597","https://openalex.org/W2905558881"],"abstract_inverted_index":{"The":[0,266],"paper":[1],"[Sch\u00fctte":[2,298],"+":[3,44,75,135,176,299,323],"Simpson]":[4],"deals":[5],"with":[6,205],"the":[7,33,103,223,233,236,240,256,294,307],"following":[8,104],"one-dimensional":[9],"case":[10],"of":[11,18,35,39,96,171,173,187,229,239,271,287,321,337],"Friedman's":[12],"extension":[13,228],"(see":[14],"in":[15,222,285,289],"[Simpson":[16],"1])":[17],"Kruskal's":[19],"theorem":[20],"([Kruskal]).":[21],"Given":[22],"a":[23,51,54,79,110,200],"natural":[24,40],"number":[25],"n":[26,30,43,59,74,175,197,211,217,244,260,263,322],",":[27,77,112,116,146,152,164,212],"let":[28],"S":[29,58,73,174,191,196,216,243,262],"+1":[31,60,198,218,245,264],"be":[32],"set":[34],"all":[36,118,148],"finite":[37,335],"sequences":[38,336],"numbers":[41],"<":[42,120,129,131,150,154,182,339],"1.":[45],"If":[46],"s":[47,62,97,100,162,165,168,188],"1":[48,76,98,163,177,324],"=":[49,64,113],"(":[50,65,126,133,143,202],"0":[52,67,319],",\u2026,":[53,68,167],"k":[55,86,121,151,169],")":[56,71,128,204,219,246],"\u2208":[57,72],"and":[61,184,325],"2":[63,101,166],"b":[66,69,114,138,141],"m":[70,90,155],"then":[78,137],"strictly":[80],"monotone":[81],"function":[82],"f":[83,125,132,142],":":[84],"{0,\u2026,":[85,89],"}":[87,91],"\u2192":[88],"is":[92,220],"called":[93],"an":[94,185,313,329],"embedding":[95,186],"into":[99,190,306],"if":[102,124],"two":[105],"assertions":[106],"are":[107,293],"satisfied:":[108],"1)":[109,136],"i":[111,119,127,134,144,149,181,189],"f(i)":[115],"for":[117,147,158],";":[122],"2)":[123],"j":[130,139,153,183,192],">":[140,318],"+1)":[145],".":[156,193,341],"Then":[157],"every":[159],"infinite":[160],"sequence":[161],",\u2026":[170],"elements":[172],"there":[178],"exist":[179],"indices":[180],"That":[194,309],"is,":[195,310],"forms":[199],"well-quasi-ordering":[201],"wqo":[203],"respect":[206],"to":[207,303,327],"embeddability.":[208],"For":[209],"each":[210],"this":[213,251,305],"statement":[214,258,333],"W(":[215,242,261],"provable":[221],"standard":[224],"second":[225],"order":[226,269],"conservative":[227],"Peano":[230,290],"arithmetic.":[231,291],"On":[232],"other":[234],"hand,":[235],"proof-theoretic":[237,277],"strength":[238],"statements":[241,274],"grows":[247],"so":[248,279],"fast":[249],"that":[250,280],"formal":[252],"theory":[253],"cannot":[254],"prove":[255],"limit":[257],"\u2200":[259],").":[265],"appropriate":[267],"first":[268],"-versions":[270],"these":[272],"combinatory":[273,332],"preserve":[275],"their":[276],"strength,":[278],"actually":[281],"one":[282],"can":[283],"speak":[284],"terms":[286],"provability":[288],"These":[292],"main":[295],"conclusions":[296],"from":[297],"Simpson].":[300],"We":[301],"wish":[302],"extend":[304],"transfinite.":[308],"we":[311],"take":[312],"arbitrary":[314],"countable":[315],"ordinal":[316],"\u03c4":[317,340],"instead":[320],"try":[326],"obtain":[328],"analogous":[330],"\u201cstrong\u201d":[331],"about":[334],"ordinals":[338]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}