{"id":"https://openalex.org/W2121686470","doi":"https://doi.org/10.2307/2273950","title":"Elementary equivalence of <i>C</i><sub><i>\u03c3</i></sub>(<i>K</i>) spaces for totally disconnected, compact Hausdorff K","display_name":"Elementary equivalence of <i>C</i><sub><i>\u03c3</i></sub>(<i>K</i>) spaces for totally disconnected, compact Hausdorff K","publication_year":1986,"publication_date":"1986-03-01","ids":{"openalex":"https://openalex.org/W2121686470","doi":"https://doi.org/10.2307/2273950","mag":"2121686470"},"language":"en","primary_location":{"id":"doi:10.2307/2273950","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273950","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/A5005863866","display_name":"Stefan Heinrich","orcid":"https://orcid.org/0000-0002-7901-1698"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"S. Heinrich","raw_affiliation_strings":["Institute of Mathematics, Academy of Sciences of the GDR, 1086 Berlin, GDR"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Academy of Sciences of the GDR, 1086 Berlin, GDR","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090166557","display_name":"C. Ward Henson","orcid":"https://orcid.org/0000-0003-1499-4432"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Ward Henson","raw_affiliation_strings":["Department of Mathematics, University of Illinois, Urbana, Illinois 61801"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Illinois, Urbana, Illinois 61801","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114184255","display_name":"L. C. Moore","orcid":null},"institutions":[{"id":"https://openalex.org/I170897317","display_name":"Duke University","ror":"https://ror.org/00py81415","country_code":"US","type":"education","lineage":["https://openalex.org/I170897317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L. C. Moore","raw_affiliation_strings":["Department of Mathematics, Duke University, Durham, North Carolina 27706"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Duke University, Durham, North Carolina 27706","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005863866"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.27019175,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"51","issue":"1","first_page":"135","last_page":"146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11545","display_name":"Advanced Banach Space Theory","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11545","display_name":"Advanced Banach Space Theory","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9987999796867371,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ultrafilter","display_name":"Ultrafilter","score":0.9754564762115479},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8367587327957153},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.7451624274253845},{"id":"https://openalex.org/keywords/automorphism","display_name":"Automorphism","score":0.5490784645080566},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49171000719070435},{"id":"https://openalex.org/keywords/elementary-proof","display_name":"Elementary proof","score":0.4841350018978119},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.48195359110832214},{"id":"https://openalex.org/keywords/cantor-set","display_name":"Cantor set","score":0.43896016478538513},{"id":"https://openalex.org/keywords/banach-space","display_name":"Banach space","score":0.42280206084251404},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4196019768714905},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3585907816886902}],"concepts":[{"id":"https://openalex.org/C87598191","wikidata":"https://www.wikidata.org/wiki/Q1571831","display_name":"Ultrafilter","level":2,"score":0.9754564762115479},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8367587327957153},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.7451624274253845},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.5490784645080566},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49171000719070435},{"id":"https://openalex.org/C2777478746","wikidata":"https://www.wikidata.org/wiki/Q5358910","display_name":"Elementary proof","level":2,"score":0.4841350018978119},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.48195359110832214},{"id":"https://openalex.org/C36605576","wikidata":"https://www.wikidata.org/wiki/Q273188","display_name":"Cantor set","level":2,"score":0.43896016478538513},{"id":"https://openalex.org/C132954091","wikidata":"https://www.wikidata.org/wiki/Q194397","display_name":"Banach space","level":2,"score":0.42280206084251404},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4196019768714905},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3585907816886902},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2273950","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273950","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W9457213","https://openalex.org/W165032974","https://openalex.org/W828387935","https://openalex.org/W1532335413","https://openalex.org/W1583781264","https://openalex.org/W1990850784","https://openalex.org/W2005176046","https://openalex.org/W2047612490","https://openalex.org/W2068803480","https://openalex.org/W2072087802","https://openalex.org/W2072112614","https://openalex.org/W2614746526","https://openalex.org/W4238827825"],"related_works":["https://openalex.org/W1410499186","https://openalex.org/W1646471221","https://openalex.org/W1545742425","https://openalex.org/W2560785181","https://openalex.org/W4300551312","https://openalex.org/W2171361579","https://openalex.org/W2399192395","https://openalex.org/W2617047407","https://openalex.org/W2963837299","https://openalex.org/W4299820054"],"abstract_inverted_index":{"This":[0,232],"paper":[1,8],"is":[2,34,82,99,115,146,152,204,224,253],"a":[3,14,35,50,83,91,107,147],"continuation":[4],"of":[5,25,53,94,133,137,156,198,210,237,277],"the":[6,21,54,134,195,208,235,238,261,271,275],"authors'":[7],"[7];":[9],"in":[10,184,226,274],"particular,":[11],"we":[12,48,131],"give":[13,132],"sharper":[15],"and":[16,97,113,150],"more":[17],"useful":[18],"criterion":[19],"for":[20,245,264],"approximate":[22],"elementary":[23,135,196],"equivalence":[24],"C":[26,75],"\u03c3":[27,76,98,142,151,169,180,186,202,215,222,230],"(":[28,77,139,168,179,199,211,214,221,227,247],"K":[29,33,78,81,104],")":[30,79,170,181,203,223,250],"spaces,":[31],"where":[32,80,144,251],"totally":[36,84],"disconnected":[37,85],"compact":[38,86],"Hausdorff":[39,87],"space.":[40],"(See":[41,120],"Theorem":[42,121],"2":[43],"below.)":[44],"As":[45],"an":[46,100,117,128,153,254],"application,":[47],"obtain":[49],"complete":[51],"description":[52],"Banach":[55],"spaces":[56],"X":[57,67,73],"which":[58,89,105,130,158],"are":[59,125],"approximately":[60],"equivalent":[61],"to":[62],"c":[63,70],"0":[64,71],".":[65,258],"Namely,":[66],"\u2261":[68],"A":[69],"iff":[72],"=":[74,182],"space":[88],"has":[90,106],"dense":[92],"set":[93],"isolated":[95,118],"points":[96],"involutory":[101,154],"homeomorphism":[102],"on":[103,256],"unique":[108],"fixed":[109],"point":[110],"t":[111,114],",":[112,141,201,229],"not":[116],"point.":[119],"7.)":[122],"These":[123],"results":[124],"derived":[126],"from":[127],"analysis":[129],"theories":[136],"structures":[138,246],"B":[140,145,157,183,200,228,257],"),":[143],"Boolean":[148,265],"algebra":[149],"automorphism":[155],"leaves":[159,187],"at":[160],"most":[161],"one":[162],"nontrivial":[163,189],"ultrafilter":[164,190,255],"invariant.":[165,191],"Let":[166],"U":[167,178,213,220,249,252],"denote":[171],"this":[172],"ultrafilter,":[173],"if":[174],"it":[175],"exists;":[176],"let":[177],"case":[185],"no":[188],"We":[192,268],"show":[193],"that":[194],"theory":[197,209],"completely":[205],"determined":[206],"by":[207,242],"B,":[212,248],"))":[216],"(and":[217],"conversely,":[218],"because":[219],"definable":[225],")).":[231],"makes":[233],"possible":[234],"use":[236,270],"explicit":[239],"invariants":[240,263,273],"given":[241],"\u00c9r\u0161ov":[243,272],"[4]":[244],"(These":[259],"generalize":[260],"Tarski":[262],"algebras":[266],"[15].)":[267],"also":[269],"proof":[276],"our":[278],"main":[279],"result.":[280]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}