{"id":"https://openalex.org/W2000323965","doi":"https://doi.org/10.2307/2274386","title":"A note on elementary equivalence of <i>C(K)</i> spaces","display_name":"A note on elementary equivalence of <i>C(K)</i> spaces","publication_year":1987,"publication_date":"1987-06-01","ids":{"openalex":"https://openalex.org/W2000323965","doi":"https://doi.org/10.2307/2274386","mag":"2000323965"},"language":"en","primary_location":{"id":"doi:10.2307/2274386","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274386","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":[{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]},{"id":"https://openalex.org/I4210105926","display_name":"Institute of Mathematics and Informatics","ror":"https://ror.org/01b5dy719","country_code":"BG","type":"facility","lineage":["https://openalex.org/I24768866","https://openalex.org/I4210105926"]}],"countries":["BG","CZ"],"is_corresponding":true,"raw_author_name":"S. Heinrich","raw_affiliation_strings":["Institute of Mathematics, Academy of Sciences, 1086 Berlin, GDR","Institute of Mathematics"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics, Academy of Sciences, 1086 Berlin, GDR","institution_ids":[]},{"raw_affiliation_string":"Institute of Mathematics","institution_ids":["https://openalex.org/I4210105926","https://openalex.org/I4210120266"]}]},{"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","#N#\u2004University of Illinois"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Illinois, Urbana, Illinois 61801","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"#N#\u2004University of Illinois","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","Duke University"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Duke University, Durham, North Carolina 27706","institution_ids":["https://openalex.org/I170897317"]},{"raw_affiliation_string":"Duke University","institution_ids":["https://openalex.org/I170897317"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005863866"],"corresponding_institution_ids":["https://openalex.org/I4210105926","https://openalex.org/I4210120266"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.12437811,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"52","issue":"2","first_page":"368","last_page":"373"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9997000098228455,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9997000098228455,"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.9988999962806702,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9886999726295471,"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.8882222175598145},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.6965397596359253},{"id":"https://openalex.org/keywords/banach-space","display_name":"Banach space","score":0.6543008685112},{"id":"https://openalex.org/keywords/unit-sphere","display_name":"Unit sphere","score":0.5215092301368713},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4881513714790344},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.46264588832855225},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.35919755697250366},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.35412001609802246},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.13145768642425537}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8882222175598145},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.6965397596359253},{"id":"https://openalex.org/C132954091","wikidata":"https://www.wikidata.org/wiki/Q194397","display_name":"Banach space","level":2,"score":0.6543008685112},{"id":"https://openalex.org/C191948623","wikidata":"https://www.wikidata.org/wiki/Q1307800","display_name":"Unit sphere","level":2,"score":0.5215092301368713},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4881513714790344},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.46264588832855225},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35919755697250366},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.35412001609802246},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.13145768642425537}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2274386","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274386","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":5,"referenced_works":["https://openalex.org/W9457213","https://openalex.org/W2072112614","https://openalex.org/W2077766943","https://openalex.org/W2614746526","https://openalex.org/W2799061192"],"related_works":["https://openalex.org/W1654151311","https://openalex.org/W2549643127","https://openalex.org/W4250452970","https://openalex.org/W3013085049","https://openalex.org/W2028658913","https://openalex.org/W2768576186","https://openalex.org/W3203433227","https://openalex.org/W4298324020","https://openalex.org/W3193147853","https://openalex.org/W4388482018"],"abstract_inverted_index":{"In":[0,45,303],"this":[1,201],"paper":[2],"we":[3,47,98,267],"give":[4],"a":[5,23,49,96,147,183,234,261,297],"closer":[6],"analysis":[7],"of":[8,12,31,39,42,76,83,136,150,155,178,227,244,274,312,316],"the":[9,13,32,69,79,129,133,168,176,225,240,271,283,309,321],"elementary":[10,126,134,156],"properties":[11,135],"Banach":[14,137,159,187,195,211,222,272,328],"spaces":[15,110,138,160,196,223,293],"C":[16,84,90,106],"(":[17,36,58,64,85,91,107],"K":[18,21,37,43,59,65,86,92,108,265,280,295,317],"),":[19],"where":[20],"is":[22,81,162,173,232,296],"totally":[24,298],"disconnected,":[25],"compact":[26,262,300],"Hausdorff":[27,263,301],"space,":[28,235],"in":[29,51,128,182,192,200],"terms":[30],"Boolean":[33,310],"algebra":[34,311],"B":[35,57,63,236,247],")":[38,61,67,88,109],"clopen":[40,314],"subsets":[41,315],".":[44,318],"particular":[46],"sharpen":[48],"result":[50],"[4]":[52,171],"by":[53,142,167],"showing":[54],"that":[55,100,304],"if":[56,203,206],"1":[60,87],"and":[62,89,172,204,327],"2":[66,93],"satisfy":[68],"same":[70,80],"sentences":[71,116,145],"with":[72,117,146,291],"\u2264":[73,118,258],"n":[74,103,119],"alternations":[75],"quantifiers,":[77],"then":[78],"true":[82],").":[94],"As":[95,189],"consequence":[97],"show":[99],"for":[101,115,158,186],"each":[102],"there":[104],"exist":[105],"which":[111,123,161],"are":[112,124,197],"elementarily":[113,198],"equivalent":[114,127,199],"quantifier":[120,151],"alternations,":[121],"but":[122],"not":[125],"full":[130],"sense.":[131],"Thus":[132],"cannot":[139],"be":[140,289],"determined":[141],"looking":[143],"at":[144],"bounded":[148,180],"number":[149],"alternations.":[152],"The":[153],"notion":[154],"equivalence":[157],"studied":[163],"here":[164],"was":[165,190],"introduced":[166],"second":[169],"author":[170],"expressed":[174],"using":[175],"language":[177,185],"positive":[179],"formulas":[181],"first-order":[184],"spaces.":[188],"shown":[191],"[4],":[193],"two":[194],"sense":[202],"only":[205],"they":[207],"have":[208],"isometrically":[209,216],"isomorphic":[210,217],"space":[212,264,273,329],"ultrapowers":[213],"(or,":[214],"equivalently,":[215],"nonstandard":[218],"hulls.)":[219],"We":[220,286,319],"consider":[221],"over":[224],"field":[226],"real":[228],"numbers.":[229],"If":[230],"X":[231,245,253],"such":[233,292],"x":[237,248,251,256],"will":[238,287,307],"denote":[239,270,308],"closed":[241],"unit":[242],"ball":[243],",":[246,266,281],"=":[249],"{":[250],"\u03f5":[252],"\u2223":[254],"\u2223\u2223":[255,257],"1}.":[259],"Given":[260],"let":[268],"C(K)":[269],"all":[275,313],"continuous":[276],"real-valued":[277],"functions":[278],"on":[279],"under":[282],"supremum":[284],"norm.":[285],"especially":[288],"concerned":[290],"when":[294],"disconnected":[299],"space.":[302],"case":[305],"B(K)":[306],"adopt":[320],"standard":[322],"notation":[323],"from":[324],"model":[325],"theory":[326],"theory.":[330]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}