{"id":"https://openalex.org/W2788488309","doi":"https://doi.org/10.3233/com-180098","title":"Joins and meets in the structure of ceers","display_name":"Joins and meets in the structure of ceers","publication_year":2018,"publication_date":"2018-07-03","ids":{"openalex":"https://openalex.org/W2788488309","doi":"https://doi.org/10.3233/com-180098","mag":"2788488309"},"language":"en","primary_location":{"id":"doi:10.3233/com-180098","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180098","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1802.09249","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022967955","display_name":"Uri Andrews","orcid":"https://orcid.org/0000-0002-4653-7458"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Uri Andrews","raw_affiliation_strings":["Department of Mathematics,University of Wisconsin, WI, USA. andrews@math.wisc.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics,University of Wisconsin, WI, USA. andrews@math.wisc.edu","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068865870","display_name":"Andrea Sorbi","orcid":"https://orcid.org/0000-0001-9288-3290"},"institutions":[{"id":"https://openalex.org/I102064193","display_name":"University of Siena","ror":"https://ror.org/01tevnk56","country_code":"IT","type":"education","lineage":["https://openalex.org/I102064193"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andea Sorbi","raw_affiliation_strings":["Department of Information Engineering and Mathematics,University of Siena, 53100 Siena, Italy. andrea.sorbi@unisi.it"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering and Mathematics,University of Siena, 53100 Siena, Italy. andrea.sorbi@unisi.it","institution_ids":["https://openalex.org/I102064193"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022967955"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4275,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.63055275,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"8","issue":"3-4","first_page":"193","last_page":"241"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9958999752998352,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9955000281333923,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7718071937561035},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.6850587725639343},{"id":"https://openalex.org/keywords/join","display_name":"Join (topology)","score":0.6364506483078003},{"id":"https://openalex.org/keywords/semilattice","display_name":"Semilattice","score":0.5921943187713623},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5746470093727112},{"id":"https://openalex.org/keywords/irreducibility","display_name":"Irreducibility","score":0.5619842410087585},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5604345202445984},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.49619776010513306},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.422201931476593},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.2577643394470215},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2360529601573944},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.15964144468307495}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7718071937561035},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.6850587725639343},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.6364506483078003},{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.5921943187713623},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5746470093727112},{"id":"https://openalex.org/C2776823524","wikidata":"https://www.wikidata.org/wiki/Q6073561","display_name":"Irreducibility","level":2,"score":0.5619842410087585},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5604345202445984},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.49619776010513306},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.422201931476593},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.2577643394470215},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2360529601573944},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15964144468307495},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3233/com-180098","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180098","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1802.09249","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.09249","pdf_url":"https://arxiv.org/pdf/1802.09249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},{"id":"mag:2788488309","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1802.09249v2","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"pmh:oai:usiena-air.unisi.it:11365/1066541","is_oa":false,"landing_page_url":"http://hdl.handle.net/11365/1066541","pdf_url":null,"source":{"id":"https://openalex.org/S4377196319","display_name":"Use Siena air (University of Siena)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I102064193","host_organization_name":"University of Siena","host_organization_lineage":["https://openalex.org/I102064193"],"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":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1802.09249","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1802.09249","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1802.09249","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1802.09249","pdf_url":"https://arxiv.org/pdf/1802.09249","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2573627744","display_name":null,"funder_award_id":"GNSAGA","funder_id":"https://openalex.org/F4320311030","funder_display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\""},{"id":"https://openalex.org/G8510398961","display_name":null,"funder_award_id":"1600228","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320334045","display_name":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2788488309.pdf","grobid_xml":"https://content.openalex.org/works/W2788488309.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W633446433","https://openalex.org/W1556167844","https://openalex.org/W1602868010","https://openalex.org/W1636748716","https://openalex.org/W1909320839","https://openalex.org/W1980790864","https://openalex.org/W1985493589","https://openalex.org/W2005704285","https://openalex.org/W2017531368","https://openalex.org/W2022197459","https://openalex.org/W2056414301","https://openalex.org/W2058701006","https://openalex.org/W2068423429","https://openalex.org/W2126544183","https://openalex.org/W2170024339","https://openalex.org/W2181593437","https://openalex.org/W2294316973","https://openalex.org/W2346539614","https://openalex.org/W2535111425","https://openalex.org/W2558071339","https://openalex.org/W2558322769","https://openalex.org/W2772134068","https://openalex.org/W4230007549","https://openalex.org/W4232277851","https://openalex.org/W4246936007","https://openalex.org/W6607220425"],"related_works":["https://openalex.org/W2314895022","https://openalex.org/W2082637799","https://openalex.org/W174023083","https://openalex.org/W975396184","https://openalex.org/W1994382042","https://openalex.org/W2284436105","https://openalex.org/W2036298677","https://openalex.org/W3199448121","https://openalex.org/W2120265248","https://openalex.org/W2048790237","https://openalex.org/W1650804063","https://openalex.org/W2008615361","https://openalex.org/W3099961020","https://openalex.org/W2069855300","https://openalex.org/W1970716647","https://openalex.org/W2898457426","https://openalex.org/W1484975759","https://openalex.org/W2774559945","https://openalex.org/W2035556505","https://openalex.org/W2963104110"],"abstract_inverted_index":{"We":[0,31,99,165,193,252,367],"study":[1,100,194,254,272],"computably":[2],"enumerable":[3],"equivalence":[4,245,296],"relations":[5],"(abbreviated":[6],"as":[7,62,174],"ceers)":[8],"under":[9],"computable":[10],"reducibility,":[11],"and":[12,27,49,64,102,151,196,204,271,274,304,373,385],"we":[13,208,394],"investigate":[14],"the":[15,37,42,50,59,66,70,107,135,138,210,225,255,261,265,268,286,309,324,340,351,364,382,390,396,399,403,409],"resulting":[16],"degree":[17,60,321,337],"structure":[18,61,257,287],"Ceers,":[19,105,372],"which":[20,155,187],"is":[21,82,160,188,201,239,312],"a":[22,25,28,34,56,122,125,149,163,175,185,216,302,357],"poset":[23,262],"with":[24,184,224],"smallest":[26],"greatest":[29,88,310,325,341],"element.":[30],"point":[32],"out":[33],"partition":[35,57],"of":[36,58,68,73,113,137,145,169,212,227,267,288,294,298,371,398,402,405],"ceers":[38,114,147,170,300,406],"into":[39],"three":[40],"classes:":[41],"finite":[43,269],"ceers,":[44,48,270,289,384],"th":[45],"e":[46],"light":[47,391],"dark":[51,89,97,146,161,199,299,383],"ceers.":[52,392],"These":[53],"classes":[54,72,136,246,297,404],"yield":[55],"well,":[63],"in":[65,104,134,141,154,240,276,285,316,334,408],"language":[67],"posets":[69],"corresponding":[71],"degrees":[74,112,266],"are":[75,93,132,292,377],"first":[76],"order":[77],"definable":[78],"within":[79],"Ceers.":[80],"There":[81],"no":[83,85,87,143,152],"least,":[84],"maximal,":[86],"degree,":[90],"but":[91,181],"there":[92,291,376],"infinitely":[94,328,345],"many":[95,329,346,379,387],"minimal":[96,331,348],"degrees.":[98,366],"joins":[101,273],"meets":[103,275],"addressing":[106],"cases":[108],"when":[109],"two":[110],"incomparable":[111,295],"X,":[115,130,171],"Y":[116,131,172],"have":[117,121],"or":[118,124,350],"do":[119],"not":[120],"join":[123,176,179,186],"meet":[126],"according":[127],"to":[128,237,282],"where":[129],"located":[133],"aforementioned":[139],"partition:":[140],"particular":[142,207],"pair":[144,153],"has":[148,162,327,343,356],"join,":[150,303],"at":[156,369],"least":[157,358],"one":[158,311,326,342],"ceer":[159,200,217],"meet.":[164],"also":[166,182],"exhibit":[167],"examples":[168,183],"having":[173,301],"their":[177],"uniform":[178],"X\u2295Y,":[180],"strictly":[189,353],"less":[190],"than":[191],"X\u2295Y.":[192],"join-irreducibility":[195],"meet-irreducibility:":[197],"every":[198,233,305,320,336],"both":[202],"join-,":[203],"meet-irreducible.":[205],"In":[206,314],"characterize":[209],"property":[211,226,248,362],"being":[213,229],"meet-irreducible":[214],"for":[215],"E,":[218],"by":[219,259,264],"showing":[220],"that":[221,232,375],"it":[222,355],"coincides":[223],"E":[228,236],"self-full,":[230],"meaning":[231],"reducibility":[234],"from":[235,308,323,339],"itself":[238],"fact":[241,315],"surjective":[242],"on":[243],"its":[244],"(this":[247],"properly":[249],"extends":[250],"darkness).":[251],"then":[253],"quotient":[256,278,318],"obtained":[258],"dividing":[260],"Ceers":[263,335],"this":[277,317,360],"structure:":[279],"interestingly,":[280],"contrary":[281],"what":[283],"happens":[284],"here":[290],"pairs":[293],"element":[306],"different":[307,322,338],"meet-reducible.":[313],"structure,":[319],"strong":[330,347],"covers,":[332,349],"whereas":[333],"either":[344],"cone":[352],"above":[354],"element:":[359],"latter":[361],"characterizes":[363],"self-full":[365],"look":[368],"automorphisms":[370,380,388],"show":[374],"continuum":[378,386],"fixing":[381,389],"Finally,":[393],"compute":[395],"complexity":[397],"index":[400],"sets":[401],"studied":[407],"paper.":[410]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}