{"id":"https://openalex.org/W2147379194","doi":"https://doi.org/10.1093/logcom/exm039","title":"Isolation, Infima and Diamond Embeddings","display_name":"Isolation, Infima and Diamond Embeddings","publication_year":2007,"publication_date":"2007-08-02","ids":{"openalex":"https://openalex.org/W2147379194","doi":"https://doi.org/10.1093/logcom/exm039","mag":"2147379194"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exm039","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm039","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5101424400","display_name":"Jian Liu","orcid":"https://orcid.org/0000-0002-7557-8347"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"J. Liu","raw_affiliation_strings":["School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore","School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore. E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore. E-mail:","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030897972","display_name":"Guohua Wu","orcid":"https://orcid.org/0000-0003-1552-9620"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"G. Wu","raw_affiliation_strings":["School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore","School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore. E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore 639798, Republic of Singapore. E-mail:","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I172675005"],"apc_list":{"value":4533,"currency":"USD","value_usd":4533},"apc_paid":null,"fwci":0.3622,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67138067,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"17","issue":"6","first_page":"1153","last_page":"1166"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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":1.0,"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.9955999851226807,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9836000204086304,"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/infimum-and-supremum","display_name":"Infimum and supremum","score":0.7434974908828735},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6692858934402466},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4852723777294159},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.4376761019229889},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.35650771856307983},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06327378749847412}],"concepts":[{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.7434974908828735},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6692858934402466},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4852723777294159},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.4376761019229889},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.35650771856307983},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06327378749847412},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exm039","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exm039","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2013287713","https://openalex.org/W2014247151","https://openalex.org/W2056414301","https://openalex.org/W2063198727","https://openalex.org/W2077721565","https://openalex.org/W2500837594"],"related_works":["https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3148032049","https://openalex.org/W2271181815"],"abstract_inverted_index":{"In":[0,65,184],"(1993,":[1],"Annals":[2],"of":[3,44,215,224],"Pure":[4],"and":[5,52,88,139,159,179,198,220,244],"Applied":[6],"Logic,":[7],"62,":[8],"207\u2013263),":[9],"Kaddah":[10],"pointed":[11],"out":[12,251],"that":[13,37,41,74,82,148,169,237,252],"there":[14,75],"are":[15,76,246],"two":[16,45,77],"d.c.e.":[17,26,63,78,95,132,177],"degrees":[18,47,51,56,79,130,133],"a,b":[19,150,259],"forming":[20],"a":[21,104,140,152,156,172],"minimal":[22,153,173,207],"pair":[23,174,208,223],"in":[24,30,48,53,93,99,119,121,175],"the":[25,31,42,49,54,62,94,100,106,113,176,206,213,221,227],"degrees,":[27,96,178],"but":[28,97],"not":[29,98],"\u039420":[32,55,101,228],"degrees.":[33,64,102],"Kaddah's;":[34,70,180,189],"result":[35,181],"shows":[36],"Lachlan's;":[38],"theorem,":[39],"stating":[40],"infima":[43],"c.e.":[46,50,129],"coincide,":[57],"cannot":[58],"be":[59,239],"generalized":[60],"to":[61,72,86,91,192,204,233,257],"this":[66],"article,":[67],"we":[68,126,166,187],"apply":[69,188],"idea":[71,191],"show":[73],"c,d":[80,146,170,225,243],"such":[81,147],"c":[83,134,197],"cups":[84],"d":[85,90],"0',":[87],"caps":[89],"0":[92],"As":[103],"consequence,":[105],"diamond":[107],"embedding":[108],"{0,c,d,0'}":[109],"is":[110],"different":[111],"from":[112],"one":[114],"first":[115],"constructed":[116],"by":[117],"Downey":[118],"1989":[120],"[5].":[122],"To":[123],"obtain":[124],"this,":[125,165],"will":[127],"construct":[128],"a,b,":[131],">":[135,137],"a,d":[136],"b":[138,161],"non-zero":[141],"\u03c9-c.e.":[142],"degree":[143],"e":[144,194,245],"\u2264":[145],"(i)":[149],"form":[151,171],"pair,":[154],"(ii)":[155],"isolates":[157,162],"c,":[158],"(iii)":[160],"d.":[163,199],"From":[164],"can":[167],"have":[168],"follows":[182],"immediately.":[183],"our":[185,253],"construction,":[186],"original":[190],"make":[193,258],"below":[195],"both":[196],"Our":[200],"construction":[201,254],"allows":[202,255],"us":[203,256],"separate":[205],"argument":[209],"(a\u2229b":[210],"=":[211,218],"0),":[212],"splitting":[214],"0\u2032":[216],"(c\u222ad":[217],"0'),":[219],"non-minimal":[222],"(in":[226],"degrees),":[229],"into":[230],"several":[231],"parts,":[232],"avoid":[234],"direct":[235],"conflicts":[236],"could":[238],"involved":[240],"if":[241],"only":[242],"constructed.":[247],"We":[248],"also":[249],"point":[250],"above":[260],"(and":[261],"hence":[262],"c,d)":[263],"high.":[264]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}