{"id":"https://openalex.org/W1967380136","doi":"https://doi.org/10.1002/malq.200310012","title":"The equality S1 = D = R","display_name":"The equality S1 = D = R","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":"0044-3050","issn":["0044-3050","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"],"raw_orcid":null,"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"],"raw_orcid":null,"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"],"raw_orcid":null,"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"],"raw_orcid":null,"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":1,"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":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09436656,"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":"0044-3050","issn":["0044-3050","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,181],"new":[2,235],"result":[3,37,72,223],"of":[4,14,35,38,52,73,84,113,145,189,201,212,215,224,230,241],"this":[5],"paper":[6],"is":[7,16,28,32,65,70,97,104,110,130,185,220],"that":[8,50,95,152],"for":[9,43,238],"\u03b8(x;":[10],"a)\u2010stable":[11],"(a":[12],"weakening":[13],"\u201cT":[15],"stable\u201d)":[17],"we":[18,88,150],"have":[19,151],"S1[\u03b8(x;":[20],"a)]":[21],"=":[22,173,177],"D[\u03b8(x;":[23],"a),":[24],"L,":[25,245],"\u221e].":[26,246],"S1":[27,191,242],"Hrushovski's":[29,190],"rank.":[30,192],"This":[31,193],"an":[33,221],"improvement":[34],"a":[36,71,105,111,186,208,234,252],"Kim":[39],"and":[40,108,132,217,243],"Pillay,":[41],"who":[42],"simple":[44],"theories":[45],"under":[46,116],"the":[47,53,58,62,67,76,90,213,231,239],"(strong)":[48],"assumption":[49],"either":[51,120],"ranks":[54],"be":[55],"finite":[56,106],"obtained":[57],"same":[59],"identity.":[60],"Only":[61],"first":[63],"equality":[64,69,214,240],"new,":[66],"second":[68],"Shelah":[74],"from":[75],"seventies.":[77],"We":[78,247],"derive":[79],"it":[80],"by":[81],"studying":[82],"localizations":[83],"several":[85],"rank":[86,183],"functions,":[87],"get":[89,207],"following":[91],"Main":[92],"Theorem.":[93],"Suppose":[94],"\u03bc":[96,100,133,149],"regular":[98],"satisfying":[99],"\u2265":[101],"|T|+,":[102],"p":[103,129],"type,":[107],"\u0394":[109],"set":[112],"formulas":[114],"closed":[115],"Boolean":[117],"operations.":[118],"If":[119],"(a)":[121],"R[p,":[122,178],"\u0394,":[123,171,175,179],"\u03bc+]":[124,172,176],"<":[125,141,148,156,165],"\u221e":[126],"or":[127],"(b)":[128],"\u0394\u2010stable":[131],"satisfies":[134],"\u201cfor":[135],"every":[136],"sequence":[137],"{\u03bci":[138],":":[139],"i":[140],"|\u0394|":[142],"+":[143,160],"\u21350}":[144],"cardinals":[146],"\u03bci":[147],"$":[153,167],"\\prod":[154],"_{i":[155],"\\vert":[157,159],"\\Delta":[158],"\\aleph":[161],"_{0}}":[162],"\\mu":[163,166],"_{i}":[164],"holds\u201d,":[168],"then":[169],"S[p,":[170],"D[p,":[174],"\u03bc+].":[180],"S":[182],"above":[184],"localized":[187],"version":[188],"rank,":[194],"as":[195,197],"well":[196],"our":[198],"systematic":[199],"use":[200],"local":[202],"stability,":[203],"allows":[204],"us":[205],"to":[206,251,256],"more":[209,253],"conceptual":[210],"proof":[211],"D":[216],"R,":[218],"which":[219],"old":[222],"Shelah.":[225],"A":[226],"particular":[227],"(asymptotic)":[228],"case":[229],"theorem":[232],"offers":[233],"sufficient":[236],"condition":[237],"D[\u00b7,":[244],"also":[248],"manage,":[249],"due":[250],"general":[254],"approach,":[255],"avoid":[257],"some":[258],"combinatorial":[259],"difficulties":[260],"present":[261],"in":[262],"Shelah's":[263],"original":[264],"exposition.":[265]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}