{"id":"https://openalex.org/W2015966078","doi":"https://doi.org/10.2307/2275708","title":"Initial segments of the lattice of ideals of r.e. degrees","display_name":"Initial segments of the lattice of ideals of r.e. degrees","publication_year":1994,"publication_date":"1994-12-01","ids":{"openalex":"https://openalex.org/W2015966078","doi":"https://doi.org/10.2307/2275708","mag":"2015966078"},"language":"en","primary_location":{"id":"doi:10.2307/2275708","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275708","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/A5039602153","display_name":"Frank P. Weber","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Frank P. Weber","raw_affiliation_strings":["134 Zhong Shaw Road, Hsuei-Chia Chen, Tainan Shien, Taiwan ROC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"134 Zhong Shaw Road, Hsuei-Chia Chen, Tainan Shien, Taiwan ROC","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5039602153"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.1364917,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"59","issue":"4","first_page":"1326","last_page":"1350"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998000264167786,"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.9998000264167786,"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.9976999759674072,"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.9968000054359436,"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/decidability","display_name":"Decidability","score":0.753928542137146},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7444159984588623},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.740769624710083},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5513260364532471},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3369203507900238},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1600925624370575}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.753928542137146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7444159984588623},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.740769624710083},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5513260364532471},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3369203507900238},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1600925624370575},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275708","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275708","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"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183744628","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744628","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life below water","score":0.8299999833106995,"id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1980888823","https://openalex.org/W2055472336","https://openalex.org/W2056414301","https://openalex.org/W2077721565","https://openalex.org/W2088993859","https://openalex.org/W2093271853","https://openalex.org/W2110093303","https://openalex.org/W2213438832","https://openalex.org/W2244883844","https://openalex.org/W2500837594","https://openalex.org/W2503562141","https://openalex.org/W2611024016","https://openalex.org/W4232277851","https://openalex.org/W4232760586"],"related_works":["https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W2053762111","https://openalex.org/W2440791454","https://openalex.org/W4297670065","https://openalex.org/W1618267488","https://openalex.org/W4205250428","https://openalex.org/W1563786920","https://openalex.org/W1567962086","https://openalex.org/W2056142535"],"abstract_inverted_index":{"Embeddings":[0],"into":[1,54,93,109,128,159,173,178,225,251],"initial":[2,160,181,228],"segments":[3,161],"of":[4,7,9,17,19,24,40,42,45,49,91,101,107,114,162,189,230],"(the":[5,47],"lattice":[6,136,222,249],"ideals":[8],"r.e.":[10,50,231],"degrees)":[11,51],"are":[12,194],"relevant":[13],"for":[14,248],"the":[15,22,43,99,105,112,134,155,217],"investigation":[16,33,90],"decidability":[18,39,78],"(fragments":[20],"of)":[21],"theory":[23,44],"(with":[25],"constant-symbols":[26],"denoting":[27],"principal":[28],"ideals).":[29],"Interest":[30],"in":[31,95,104,133,199,216],"this":[32],"stems":[34],"from":[35],"open":[36],"problems":[37],"concerning":[38],"fragments":[41],"R":[46,55,129,163,174],"usl":[48],"and":[52,58,64,77,82,84],"embeddings":[53,76,92,108],".":[56,238,258],"Ambos-Spies":[57],"Lerman":[59,80,83],"established":[60],"comprehensive":[61],"nonembeddability":[62],"[AS/LR1]":[63],"embeddability":[65,250],"[AS/LR2]":[66],"conditions,":[67],"but":[68,176],"their":[69],"complementarity":[70],"is":[71,94,121,223],"open.":[72],"(For":[73],"background":[74],"on":[75,111],"consult":[79],"[LR1]":[81],"Shore":[85],"[LR/SH].)":[86],"The":[87,143,192],"first":[88],"systematic":[89],"Calhoun":[96],"[CL],":[97],"where":[98],"existence":[100],"uniform":[102],"bounds,":[103],"case":[106],",":[110,139,164,170,175,185],"number":[113],"\u201cjoin":[115],"traces\u201d":[116],"arising":[117,165],"with":[118,166,207],"nondistributive":[119],"lattices":[120],"shown":[122],"to":[123,126,145,157],"remove":[124],"\u201cobstructions\u201d":[125],"lattice-embeddings":[127,158],"(such":[130],"as":[131,197,211],"typified":[132],"nonembeddable":[135],"S":[137],"8":[138],"see":[140],"[LA/SR],":[141],"[AS/LR1/).":[142],"analysis":[144],"follow":[146],"extends":[147],"this,":[148],"by":[149,186,213],"showing":[150],"that":[151,219],"it":[152],"also":[153],"removes":[154],"\u201cobstruction\u201d":[156],"Lachlan's":[167,195],"M":[168],"5":[169],"which":[171],"embeds":[172],"not":[177],"every":[179,220,226,252],"nontrivial":[180,227],"segment":[182,229],"R[0,":[183,233],"a]":[184],"a":[187,235,241,255],"result":[188],"Downey":[190,214],"[DW].":[191],"techniques":[193],"[LA],":[196],"adapted":[198],"Lerman's":[200],"\u201cpinball":[201],"machine":[202],"model\u201d":[203],"[LR1,":[204],"LR2],":[205],"combined":[206],"Fejer's":[208],"\u201cmeet-trick\u201d":[209],"[FJ]":[210],"used":[212],"[DW]":[215],"proof":[218],"distributive":[221],"embeddable":[224],"degrees":[232],"a],":[234,254],">":[236,256],"0":[237,257],"We":[239],"present":[240],"sufficient":[242],"condition,":[243],"\u201callowing":[244],"evasion\u201d":[245],"[Definition":[246],"4.2]":[247],"[0,":[253]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}