{"id":"https://openalex.org/W2953812076","doi":"https://doi.org/10.1142/s0219061320500014","title":"Uncountable structures are not classifiable up to bi-embeddability","display_name":"Uncountable structures are not classifiable up to bi-embeddability","publication_year":2019,"publication_date":"2019-07-02","ids":{"openalex":"https://openalex.org/W2953812076","doi":"https://doi.org/10.1142/s0219061320500014","mag":"2953812076"},"language":"en","primary_location":{"id":"doi:10.1142/s0219061320500014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061320500014","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1903.08091","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Filippo Calderoni","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Filippo Calderoni","raw_affiliation_strings":["University of Illinois at Chicago, Department of Mathematics, Statistics, and Computer Science, 851 South Morgan Street, Chicago, IL 60607-7045, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago, Department of Mathematics, Statistics, and Computer Science, 851 South Morgan Street, Chicago, IL 60607-7045, US","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Heike Mildenberger","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heike Mildenberger","raw_affiliation_strings":["Abteilung f\u00fcr Mathematische Logik, Mathematisches Institut, Universit\u00e4t Freiburg, Ernst-Zermelo-Str. 1, 79104 Freiburg im Breisgau, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Abteilung f\u00fcr Mathematische Logik, Mathematisches Institut, Universit\u00e4t Freiburg, Ernst-Zermelo-Str. 1, 79104 Freiburg im Breisgau, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":null,"display_name":"Luca Motto Ros","orcid":null},"institutions":[{"id":"https://openalex.org/I1330701686","display_name":"Collegio Carlo Alberto","ror":"https://ror.org/0397knh37","country_code":"IT","type":"education","lineage":["https://openalex.org/I1330701686"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Motto Ros","raw_affiliation_strings":["Dipartimento di matematica \u226aGiuseppe Peano\u226b, Universit\u00e0 di Torino, Via Carlo Alberto 10, 10123 Torino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di matematica \u226aGiuseppe Peano\u226b, Universit\u00e0 di Torino, Via Carlo Alberto 10, 10123 Torino, Italy","institution_ids":["https://openalex.org/I1330701686"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7041,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66570493,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"20","issue":"01","first_page":"2050001","last_page":"2050001"},"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.9027000069618225,"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.9027000069618225,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.03970000147819519,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.013399999588727951,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/uncountable-set","display_name":"Uncountable set","score":0.7860000133514404},{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.652999997138977},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.61080002784729},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.48080000281333923},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.45399999618530273},{"id":"https://openalex.org/keywords/universality","display_name":"Universality (dynamical systems)","score":0.42309999465942383},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.3709000051021576},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.3352000117301941}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8608999848365784},{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.7860000133514404},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.652999997138977},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.61080002784729},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.48080000281333923},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47850000858306885},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.42309999465942383},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.3709000051021576},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.3352000117301941},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.30640000104904175},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.30390000343322754},{"id":"https://openalex.org/C133142742","wikidata":"https://www.wikidata.org/wiki/Q1200755","display_name":"Descriptive complexity theory","level":3,"score":0.2987000048160553},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.2808000147342682},{"id":"https://openalex.org/C5278979","wikidata":"https://www.wikidata.org/wiki/Q4944905","display_name":"Borel equivalence relation","level":4,"score":0.27459999918937683},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.272599995136261},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.26969999074935913},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25279998779296875},{"id":"https://openalex.org/C148070024","wikidata":"https://www.wikidata.org/wiki/Q1283623","display_name":"Cofinality","level":4,"score":0.2506999969482422}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1142/s0219061320500014","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061320500014","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1903.08091","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.08091","pdf_url":"https://arxiv.org/pdf/1903.08091","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":"pmh:oai:freidok.uni-freiburg.de:172889","is_oa":false,"landing_page_url":"https://freidok.uni-freiburg.de/data/172889","pdf_url":null,"source":{"id":"https://openalex.org/S4306401057","display_name":"FreiDok plus (Universit\u00e4tsbibliothek Freiburg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I161046081","host_organization_name":"University of Freiburg","host_organization_lineage":["https://openalex.org/I161046081"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of mathematical logic. - 20, 01 (2020) , 2050001, ISSN: 0219-0613","raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1903.08091","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1903.08091","pdf_url":"https://arxiv.org/pdf/1903.08091","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":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W301673084","https://openalex.org/W1026721552","https://openalex.org/W1539382740","https://openalex.org/W1567849481","https://openalex.org/W1699173769","https://openalex.org/W1844253219","https://openalex.org/W1970037647","https://openalex.org/W1971295898","https://openalex.org/W2008025816","https://openalex.org/W2016314496","https://openalex.org/W2025240628","https://openalex.org/W2029077212","https://openalex.org/W2043152523","https://openalex.org/W2067914503","https://openalex.org/W2071085256","https://openalex.org/W2071388532","https://openalex.org/W2077127157","https://openalex.org/W2077836165","https://openalex.org/W2080511332","https://openalex.org/W2119981307","https://openalex.org/W2223692167","https://openalex.org/W2303146043","https://openalex.org/W2528342889","https://openalex.org/W2591547693","https://openalex.org/W2769954727","https://openalex.org/W2791403671","https://openalex.org/W2963197018","https://openalex.org/W2963882312","https://openalex.org/W3100626278","https://openalex.org/W4231952429","https://openalex.org/W4292101339"],"related_works":[],"abstract_inverted_index":{"Answering":[0],"some":[1],"of":[2,14,20,83,101,154],"the":[3,15,45,70,95,98],"main":[4,99],"questions":[5],"from":[6],"[L.":[7],"Motto":[8,122,151],"Ros,":[9,123,152],"The":[10],"descriptive":[11],"set-theoretical":[12],"complexity":[13],"embeddability":[16,46],"relation":[17,47],"on":[18],"models":[19],"large":[21],"size,":[22],"Ann.":[23],"Pure":[24],"Appl.":[25],"Logic":[26,131,143],"164(12)":[27],"(2013)":[28],"1454\u20131492],":[29],"we":[30,73],"show":[31],"that":[32,68],"whenever":[33],"[Formula:":[34,41,49],"see":[35,42,50,62],"text]":[36],"is":[37,53],"a":[38],"cardinal":[39],"satisfying":[40],"text],":[43],"then":[44],"between":[48],"text]-sized":[51],"structures":[52],"strongly":[54],"invariantly":[55],"universal,":[56],"and":[57,104,120,127,149],"hence":[58],"complete":[59],"for":[60],"([Formula:":[61],"text]-)analytic":[63],"quasi-orders.":[64],"We":[65],"also":[66],"prove":[67],"in":[69],"above":[71],"result":[72],"can":[74],"further":[75],"restrict":[76],"our":[77],"attention":[78],"to":[79,94],"various":[80],"natural":[81],"classes":[82],"structures,":[84],"including":[85],"(generalized)":[86],"trees,":[87],"graphs,":[88],"or":[89],"groups.":[90],"This":[91],"fully":[92],"generalizes":[93],"uncountable":[96],"case":[97],"results":[100],"[A.":[102],"Louveau":[103],"C.":[105],"Rosendal,":[106],"Complete":[107],"analytic":[108],"equivalence":[109,125],"relations,":[110],"Trans.":[111],"Amer.":[112,158],"Math.":[113,159],"Soc.":[114,160],"357(12)":[115],"(2005)":[116],"4839\u20134866;":[117],"S.-D.":[118],"Friedman":[119],"L.":[121,150],"Analytic":[124],"relations":[126],"bi-embeddability,":[128],"J.":[129,135,141],"Symbolic":[130,142],"76(1)":[132],"(2011)":[133],"243\u2013266;":[134],"Williams,":[136],"Universal":[137],"countable":[138],"Borel":[139],"quasi-orders,":[140],"79(3)":[144],"(2014)":[145],"928\u2013954;":[146],"F.":[147],"Calderoni":[148],"Universality":[153],"group":[155],"embeddability,":[156],"Proc.":[157],"146":[161],"(2018)":[162],"1765\u20131780].":[163]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2019-07-12T00:00:00"}