{"id":"https://openalex.org/W1967380136","doi":"https://doi.org/10.1002/malq.200310012","title":"The equality <i>S</i>1 = <i>D</i> = <i>R</i>","display_name":"The equality <i>S</i>1 = <i>D</i> = <i>R</i>","publication_year":2003,"publication_date":"2003-01-21","ids":{"openalex":"https://openalex.org/W1967380136","doi":"https://doi.org/10.1002/malq.200310012","mag":"1967380136"},"language":"en","primary_location":{"id":"doi:10.1002/malq.200310012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200310012","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5027331051","display_name":"Rami Grossberg","orcid":"https://orcid.org/0000-0002-8014-4607"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Rami Grossberg","raw_affiliation_strings":["Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008072227","display_name":"Alexei Kolesnikov","orcid":"https://orcid.org/0000-0002-8027-1091"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alexei Kolesnikov","raw_affiliation_strings":["Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103141255","display_name":"Ivan Toma\u0161i\u0107","orcid":"https://orcid.org/0009-0000-8778-5610"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ivan Toma\u0161i\u0107","raw_affiliation_strings":["Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043387081","display_name":"Monica Van Dieren","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Monica Van Dieren","raw_affiliation_strings":["Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, U. S. A","institution_ids":["https://openalex.org/I74973139"]},{"raw_affiliation_string":"Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213, U.S.A","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5008072227","https://openalex.org/A5027331051","https://openalex.org/A5043387081","https://openalex.org/A5103141255"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08763401,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"49","issue":"2","first_page":"115","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9948999881744385,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.989300012588501,"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.8740168809890747},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.7924835085868835},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6594405174255371},{"id":"https://openalex.org/keywords/exposition","display_name":"Exposition (narrative)","score":0.45546162128448486},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3525317311286926}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8740168809890747},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.7924835085868835},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6594405174255371},{"id":"https://openalex.org/C2776285698","wikidata":"https://www.wikidata.org/wiki/Q2642214","display_name":"Exposition (narrative)","level":2,"score":0.45546162128448486},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3525317311286926},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.200310012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.200310012","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W66150472","https://openalex.org/W84496008","https://openalex.org/W918671874","https://openalex.org/W1480542034","https://openalex.org/W1510181009","https://openalex.org/W1593399533","https://openalex.org/W1597894981","https://openalex.org/W1870712983","https://openalex.org/W1967447839","https://openalex.org/W1988174690","https://openalex.org/W2013728166","https://openalex.org/W2013748860","https://openalex.org/W2014553533","https://openalex.org/W2017769265","https://openalex.org/W2035198948","https://openalex.org/W2046388583","https://openalex.org/W2047282968","https://openalex.org/W2061701929","https://openalex.org/W2063209841","https://openalex.org/W2066091881","https://openalex.org/W2070703446","https://openalex.org/W2075193598","https://openalex.org/W2075446545","https://openalex.org/W2117110248","https://openalex.org/W2134675812","https://openalex.org/W2799061192","https://openalex.org/W4212846603","https://openalex.org/W4213161523","https://openalex.org/W4298194724","https://openalex.org/W6653863629"],"related_works":["https://openalex.org/W2356114564","https://openalex.org/W2350151408","https://openalex.org/W2380661758","https://openalex.org/W3005974700","https://openalex.org/W3006355877","https://openalex.org/W3165905718","https://openalex.org/W3006351327","https://openalex.org/W4387108249","https://openalex.org/W2327984862","https://openalex.org/W2371230950"],"abstract_inverted_index":{"Abstract":[0],"The":[1,229],"new":[2,285],"result":[3,56,91,273],"of":[4,18,54,57,71,92,103,136,177,237,250,261,264,274,280,291],"this":[5],"paper":[6],"is":[7,21,47,51,84,89,116,127,133,158,233,270],"that":[8,69,114,185],"for":[9,62,288],"\u03b8":[10,27,36],"(":[11,28,37],"x":[12,29,38],";":[13,30,39],"a":[14,31,40,55,90,128,134,234,257,284,305],")\u2010stable":[15],"(a":[16],"weakening":[17],"\u201c":[19],"T":[20,122],"stable\u201d)":[22],"we":[23,107,183],"have":[24,184],"S":[25,45,203,230,239,292],"1[":[26],")]":[32],"=":[33,211,220],"D":[34,212,265,295],"[":[35,146,204,213,222],"),":[41],"L":[42,297],",":[43,125,148,206,215,224,268,298],"\u221e].":[44,299],"1":[46,240,293],"Hrushovski's":[48,238],"rank.":[49,241],"This":[50,242],"an":[52,271],"improvement":[53],"Kim":[58],"and":[59,131,160,266,294],"Pillay,":[60],"who":[61],"simple":[63],"theories":[64],"under":[65,139],"the":[66,72,77,81,86,95,109,262,281,289],"(strong)":[67],"assumption":[68],"either":[70,143],"ranks":[73],"be":[74],"finite":[75,129],"obtained":[76],"same":[78],"identity.":[79],"Only":[80],"first":[82],"equality":[83,88,263,290],"new,":[85],"second":[87],"Shelah":[93],"from":[94],"seventies.":[96],"We":[97,300],"derive":[98],"it":[99],"by":[100],"studying":[101],"localizations":[102],"several":[104],"rank":[105,231],"functions,":[106],"get":[108,256],"following":[110],"Main":[111],"Theorem.":[112],"Suppose":[113],"\u03bc":[115,119,150,161,167,179,182,208,217,226],"regular":[117],"satisfying":[118],"\u2265":[120],"|":[121,123],"+":[124,151,173,193,209,218,227],"p":[126,147,157,205,214,223],"type,":[130],"\u0394":[132],"set":[135],"formulas":[137],"closed":[138],"Boolean":[140],"operations.":[141],"If":[142],"(a)":[144],"R":[145,221,267],"\u0394,":[149,207,216,225],"]":[152,210,219],"&lt;":[153,171,181,189,198],"\u221e":[154],"or":[155],"(b)":[156],"\u0394\u2010stable":[159],"satisfies":[162],"\u201cfor":[163],"every":[164],"sequence":[165],"{":[166],"i":[168,170,180],":":[169],"|\u0394|":[172],"\u2135":[174],"0":[175],"}":[176],"cardinals":[178],"$":[186,200],"\\prod":[187],"_{i":[188],"\\vert":[190,192],"\\Delta":[191],"\\aleph":[194],"_{0}}":[195],"\\mu":[196,199],"_{i}":[197],"holds\u201d,":[201],"then":[202],"].":[228],"above":[232],"localized":[235],"version":[236],"rank,":[243],"as":[244,246],"well":[245],"our":[247],"systematic":[248],"use":[249],"local":[251],"stability,":[252],"allows":[253],"us":[254],"to":[255,304,309],"more":[258,306],"conceptual":[259],"proof":[260],"which":[269],"old":[272],"Shelah.":[275],"A":[276],"particular":[277],"(asymptotic)":[278],"case":[279],"theorem":[282],"offers":[283],"sufficient":[286],"condition":[287],"[\u00b7,":[296],"also":[301],"manage,":[302],"due":[303],"general":[307],"approach,":[308],"avoid":[310],"some":[311],"combinatorial":[312],"difficulties":[313],"present":[314],"in":[315],"Shelah's":[316],"original":[317],"exposition.":[318]},"counts_by_year":[],"updated_date":"2026-02-24T19:35:01.260952","created_date":"2025-10-10T00:00:00"}