{"id":"https://openalex.org/W6922292227","doi":"https://doi.org/10.11588/heidok.00016720","title":"Joins and Meets in the Partial Orders of the Computably Enumerable ibT- and cl-Degrees","display_name":"Joins and Meets in the Partial Orders of the Computably Enumerable ibT- and cl-Degrees","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W6922292227","doi":"https://doi.org/10.11588/heidok.00016720"},"language":"en","primary_location":{"id":"pmh:oai:archiv.ub.uni-heidelberg.de:16720","is_oa":true,"landing_page_url":null,"pdf_url":"http://archiv.ub.uni-heidelberg.de/volltextserver/16720/1/thesis.pdf","source":{"id":"https://openalex.org/S4306402333","display_name":"heiDOK (Heidelberg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I223822909","host_organization_name":"Heidelberg University","host_organization_lineage":["https://openalex.org/I223822909"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://archiv.ub.uni-heidelberg.de/volltextserver/16720/1/thesis.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Kr\u00e4ling, Thorsten","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kr\u00e4ling, Thorsten","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.37611982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9879999756813049,"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.9879999756813049,"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.0034000000450760126,"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.0015999999595806003,"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/bounded-function","display_name":"Bounded function","score":0.6629999876022339},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.5766000151634216},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.564300000667572},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4474000036716461},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4253000020980835},{"id":"https://openalex.org/keywords/preorder","display_name":"Preorder","score":0.4043000042438507},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.3614000082015991},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.359499990940094}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.770799994468689},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6629999876022339},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.5766000151634216},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.564300000667572},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5562000274658203},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5249000191688538},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4474000036716461},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4253000020980835},{"id":"https://openalex.org/C2333172","wikidata":"https://www.wikidata.org/wiki/Q1425985","display_name":"Preorder","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.3614000082015991},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.359499990940094},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3343999981880188},{"id":"https://openalex.org/C185529760","wikidata":"https://www.wikidata.org/wiki/Q164307","display_name":"Binary operation","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.2827000021934509},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.2802000045776367},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.27480000257492065},{"id":"https://openalex.org/C33222762","wikidata":"https://www.wikidata.org/wiki/Q321119","display_name":"Identity function","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:archiv.ub.uni-heidelberg.de:16720","is_oa":true,"landing_page_url":null,"pdf_url":"http://archiv.ub.uni-heidelberg.de/volltextserver/16720/1/thesis.pdf","source":{"id":"https://openalex.org/S4306402333","display_name":"heiDOK (Heidelberg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I223822909","host_organization_name":"Heidelberg University","host_organization_lineage":["https://openalex.org/I223822909"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},{"id":"doi:10.11588/heidok.00016720","is_oa":true,"landing_page_url":"https://doi.org/10.11588/heidok.00016720","pdf_url":null,"source":{"id":"https://openalex.org/S7407051545","display_name":"University Library Heidelberg","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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-journal"}],"best_oa_location":{"id":"pmh:oai:archiv.ub.uni-heidelberg.de:16720","is_oa":true,"landing_page_url":null,"pdf_url":"http://archiv.ub.uni-heidelberg.de/volltextserver/16720/1/thesis.pdf","source":{"id":"https://openalex.org/S4306402333","display_name":"heiDOK (Heidelberg University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I223822909","host_organization_name":"Heidelberg University","host_organization_lineage":["https://openalex.org/I223822909"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Dissertation"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6922292227.pdf","grobid_xml":"https://content.openalex.org/works/W6922292227.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0,28,262],"bounded":[1,64,87],"reducibility":[2,18,65],"is":[3,14,38,48,66,71,102,187,250,294,304,466,499],"a":[4,25,63,109,166,206,221,247,256,308,398,450,460,470,483,488,491,508],"preorder":[5],"on":[6,447],"the":[7,11,20,35,73,84,103,116,120,143,149,203,218,266,269,279,284,300,305,314,329,338,349,357,363,376,382,402,419,425,467,510],"power":[8],"set":[9,52,74,168],"of":[10,27,54,62,75,112,119,131,161,165,169,205,210,220,226,234,258,283,286,307,310,336,393,469],"integers":[12],"which":[13,89,281,445,503],"obtained":[15,91],"from":[16,49,261],"Turing":[17,270,352],"by":[19,92,107,200,276],"additional":[21,511],"requirement":[22],"that,":[23,479],"for":[24,31,414],"reduction":[26],"to":[29,148,157,254,299,322,333,356,486,492],"B,":[30,264],"every":[32,341,386,405],"input":[33],"x":[34],"oracle":[36,41],"B":[37],"only":[39,375],"asked":[40],"queries":[42],"y":[43],"<":[44],"f(x)+1,":[45],"where":[46,69],"f":[47],"some":[50,128,493],"given":[51,494],"F":[53,70],"total":[55],"computable":[56,77,138,501],"functions.":[57,78],"
\\n
\\nThe":[58],"most":[59],"general":[60,215],"example":[61],"weak-truth-table":[67],"reducibility,":[68],"just":[72],"all":[76],"In":[79,473],"this":[80,259,274,292,400,413,474],"thesis":[81],"we":[82,146,324,423,442,476],"study":[83,443],"so-called":[85],"strongly":[86],"reducibilites,":[88],"are":[90,182,192,317,435],"choosing":[93],"F={id}":[94],"and":[95,124,126,133,142,154,159,163,173,176,244,263,289,368,428,431,451,471],"F={id+c:":[96],"c":[97,452,465],"constant},":[98],"respectively":[99],"(where":[100],"id":[101],"identity":[104],"function).
\\n
\\nWe":[105],"start":[106],"giving":[108],"machine-independent":[110],"characterisation":[111],"these":[113,180,198,235,394,434],"reducibilities,":[114],"define":[115],"degree":[117,150,461,515],"structures":[118,151,181],"computably":[121,350],"enumerable":[122,351],"ibT-":[123,132,427],"cl-degrees":[125,430],"review":[127],"important":[129],"properties":[130],"cl-reducibility":[134],"concerning":[135],"strictly":[136],"increasing":[137],"functions":[139],"(called":[140],"shifts)":[141],"permitting":[144],"method.
\\n
\\nThen":[145],"turn":[147],"mentioned":[152],"above,":[153],"in":[155,214,268],"particular":[156],"existence":[158,204,219],"nonexistence":[160],"joins":[162],"meets":[164],"finite":[167,342,406],"degrees.":[170,236,271],"As":[171],"Barmpalias":[172],"independently":[174],"Fan":[175],"Lu":[177],"have":[178,246],"shown,":[179],"not":[183,193,216,295,318,436],"upper":[184],"semi-lattices;":[185],"it":[186,455],"also":[188,238,371,477],"known":[189],"that":[190,202,240,291,313,340,362,404,433,457,464,513],"they":[191],"lower":[194],"semi-lattices.":[195],"We":[196,237,272,360,411],"extend":[197],"results":[199],"showing":[201],"join":[207,222,260,267,301,468],"or":[208,223],"meet":[209],"n":[211],"degrees":[212,285,316,353,449],"does":[213],"imply":[217],"meet,":[224],"respectively,":[225],"any":[227],"subset":[228],"containining":[229],"more":[230],"than":[231],"one":[232,392],"element":[233],"show":[239,290,361,412,440,478],"even":[241],"if":[242],"deg(A)":[243],"deg(B)":[245],"join,":[248],"there":[249,458,498],"no":[251,500,514],"uniform":[252],"way":[253],"compute":[255],"member":[257],"contrasting":[265],"conclude":[273],"part":[275],"looking":[277],"at":[278,390],"substructure":[280],"consists":[282],"simple":[287,315,484],"sets":[288],"structure":[293],"closed":[296,319],"with":[297,320,453,509],"respect":[298,321],"operation.":[302],"This":[303],"dual":[306],"theorem":[309],"Ambos-Spies":[311],"stating":[312],"meets.
\\n
\\nNext,":[323],"investigate":[325],"lattice":[326,344,388,407],"embeddings":[327],"into":[328,348],"c.e.":[330,358,426,429],"r-degrees.":[331,359],"Due":[332],"an":[334,507],"observation":[335],"Ambos-Spies,":[337],"proof":[339],"distributive":[343],"can":[345,370,378,408],"be":[346,372,379,409],"embedded":[347,380],"carries":[354],"over":[355],"smallest":[364],"nondistributive":[365,387,417],"lattices":[366,396],"N5":[367,377],"M3":[369],"embedded,":[373],"but":[374],"preserving":[381],"least":[383,391],"element.":[384],"Since":[385],"contains":[389],"two":[395,415,448],"as":[397,517],"sublattice,":[399],"motivates":[401],"conjecture":[403],"embedded.":[410],"other":[416],"lattices,":[418],"S7":[420],"und":[421],"S8.
\\n
\\nFinally,":[422],"compare":[424],"prove":[432],"elementarily":[437],"equivalent.":[438],"To":[439],"this,":[441],"under":[444],"conditions":[446],"a<c":[454],"holds":[456],"exists":[459],"b<c":[462],"such":[463,506],"b.":[472],"context":[475],"while":[480],"shifts":[481],"provide":[482],"method":[485],"produce":[487],"lesser":[489],"r-degree":[490,496],"noncomputable":[495],"c,":[497],"shift":[502],"uniformly":[504],"produces":[505],"property":[512],"b":[516],"above":[518],"exists.":[519]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}