{"id":"https://openalex.org/W2947754331","doi":"https://doi.org/10.1002/malq.201900041","title":"Concrete barriers to quantifier elimination in finite dimensional C*\u2010algebras","display_name":"Concrete barriers to quantifier elimination in finite dimensional C*\u2010algebras","publication_year":2019,"publication_date":"2019-12-01","ids":{"openalex":"https://openalex.org/W2947754331","doi":"https://doi.org/10.1002/malq.201900041","mag":"2947754331"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201900041","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900041","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.12153","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077980650","display_name":"Christopher J. Eagle","orcid":"https://orcid.org/0000-0002-5428-7364"},"institutions":[{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Christopher J. Eagle","raw_affiliation_strings":["Department of Mathematics and Statistics University of Victoria  P.O. Box 1700 STN CSC Victoria B.C., V8W 2Y2 Canada","Department of Mathematics and Statistics University of Victoria P.O. Box 1700 STN CSC Victoria B.C., V8W 2Y2 Canada"],"raw_orcid":"https://orcid.org/0000-0002-5428-7364","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics University of Victoria  P.O. Box 1700 STN CSC Victoria B.C., V8W 2Y2 Canada","institution_ids":["https://openalex.org/I212119943"]},{"raw_affiliation_string":"Department of Mathematics and Statistics University of Victoria P.O. Box 1700 STN CSC Victoria B.C., V8W 2Y2 Canada","institution_ids":["https://openalex.org/I212119943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087089457","display_name":"Todd Schmid","orcid":"https://orcid.org/0000-0002-9838-2363"},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Todd Schmid","raw_affiliation_strings":["Department of Computer Science University College London  Gower Street London WC1E 6BT United Kingdom","Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science University College London  Gower Street London WC1E 6BT United Kingdom","institution_ids":["https://openalex.org/I45129253"]},{"raw_affiliation_string":"Department of Computer Science, University College London, Gower Street, London WC1E 6BT, United Kingdom#TAB#","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077980650"],"corresponding_institution_ids":["https://openalex.org/I212119943"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14748933,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"65","issue":"4","first_page":"490","last_page":"497"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10899","display_name":"Advanced Operator Algebra Research","score":1.0,"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/T10899","display_name":"Advanced Operator Algebra Research","score":1.0,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9950000047683716,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/quantifier-elimination","display_name":"Quantifier elimination","score":0.8889474868774414},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7255204319953918},{"id":"https://openalex.org/keywords/separable-space","display_name":"Separable space","score":0.6663335561752319},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6256014108657837},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.5050397515296936},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43478164076805115},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.37523865699768066},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3481372594833374},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.343380868434906},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15342935919761658},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06095251441001892},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.05677908658981323},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.04676473140716553}],"concepts":[{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.8889474868774414},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7255204319953918},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.6663335561752319},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6256014108657837},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.5050397515296936},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43478164076805115},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.37523865699768066},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3481372594833374},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.343380868434906},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15342935919761658},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06095251441001892},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.05677908658981323},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.04676473140716553}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.201900041","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900041","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"},{"id":"pmh:oai:arXiv.org:1905.12153","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.12153","pdf_url":"https://arxiv.org/pdf/1905.12153","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"raw_type":"text"},{"id":"mag:2947754331","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1905.12153.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1905.12153","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.12153","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.12153","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.12153","pdf_url":"https://arxiv.org/pdf/1905.12153","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310932","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2947754331.pdf","grobid_xml":"https://content.openalex.org/works/W2947754331.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1542113445","https://openalex.org/W1546322230","https://openalex.org/W1553142094","https://openalex.org/W1921285307","https://openalex.org/W2078212057","https://openalex.org/W2167217619","https://openalex.org/W2171661581","https://openalex.org/W2282481122","https://openalex.org/W2576128646","https://openalex.org/W3217399827","https://openalex.org/W4229917934","https://openalex.org/W4298290503","https://openalex.org/W6640153117"],"related_works":["https://openalex.org/W2995107515","https://openalex.org/W2897554237","https://openalex.org/W2027028526","https://openalex.org/W1995549809","https://openalex.org/W3047455188","https://openalex.org/W2248632088","https://openalex.org/W2138323599","https://openalex.org/W3099647140","https://openalex.org/W970571508","https://openalex.org/W2160776691","https://openalex.org/W2575222808","https://openalex.org/W2065030569","https://openalex.org/W2525003857","https://openalex.org/W1769487261","https://openalex.org/W2964192494","https://openalex.org/W2963301680","https://openalex.org/W3108610421","https://openalex.org/W2888712356","https://openalex.org/W2963277410","https://openalex.org/W3109823208"],"abstract_inverted_index":{"Abstract":[0],"Work":[1],"of":[2,64,69,82,100],"Eagle,":[3],"Farah,":[4],"Goldbring,":[5],"Kirchberg,":[6],"and":[7,26,60],"Vignati":[8],"shows":[9],"that":[10,15,87,105],"the":[11,27,31,46,79,90,98],"only":[12],"separable":[13],"C*\u2010algebras":[14],"admit":[16],"quantifier":[17,41],"elimination":[18,42],"in":[19,78,97,106],"continuous":[20,28],"logic":[21],"are":[22,72,112],",":[23,24,25],"functions":[29],"on":[30],"Cantor":[32],"set.":[33],"We":[34,84],"show":[35,86],"that,":[36],"among":[37],"finite":[38],"dimensional":[39],"C*\u2010algebras,":[40],"does":[43],"hold":[44],"if":[45],"language":[47,81],"is":[48,95],"expanded":[49],"to":[50],"include":[51],"two":[52],"new":[53,109],"predicate":[54,91,110],"symbols:":[55],"One":[56],"for":[57,62,92],"minimal":[58,93],"projections,":[59],"one":[61],"pairs":[63],"unitarily":[65],"conjugate":[66],"elements.":[67],"Both":[68],"these":[70],"predicates":[71],"definable,":[73,77],"but":[74,104],"not":[75],"quantifier\u2010free":[76],"usual":[80],"C*\u2010algebras.":[83],"also":[85],"adding":[88],"just":[89],"projections":[94],"sufficient":[96],"case":[99],"full":[101],"matrix":[102],"algebras,":[103],"general":[107],"both":[108],"symbols":[111],"required.":[113]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}