{"id":"https://openalex.org/W2083442865","doi":"https://doi.org/10.2307/2274468","title":"Undecidability and initial segments of the (r.e.) tt-degrees","display_name":"Undecidability and initial segments of the (r.e.) tt-degrees","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W2083442865","doi":"https://doi.org/10.2307/2274468","mag":"2083442865"},"language":"en","primary_location":{"id":"doi:10.2307/2274468","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274468","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/A5091659884","display_name":"Christine Ann Haught","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christine Ann Haught","raw_affiliation_strings":["Department of Mathematics, The University of Chicago, Chicago, Illinois 60637"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, The University of Chicago, Chicago, Illinois 60637","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041739806","display_name":"Richard A. Shore","orcid":"https://orcid.org/0000-0003-0381-5259"},"institutions":[{"id":"https://openalex.org/I1925986","display_name":"Loyola University Chicago","ror":"https://ror.org/04b6x2g63","country_code":"US","type":"education","lineage":["https://openalex.org/I1925986"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]},{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard A. Shore","raw_affiliation_strings":["Department of Mathematical Sciences, Loyola University of Chicago, Chicago, Illinois 60626","Department of Mathematics, Cornell University, Ithaca, New York 14853"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Loyola University of Chicago, Chicago, Illinois 60626","institution_ids":["https://openalex.org/I1925986","https://openalex.org/I40347166"]},{"raw_affiliation_string":"Department of Mathematics, Cornell University, Ithaca, New York 14853","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9927,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.86912038,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"55","issue":"3","first_page":"987","last_page":"1006"},"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/T11567","display_name":"semigroups and automata theory","score":0.9872999787330627,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.636130154132843},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.613234281539917},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.5927062034606934},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5410217046737671},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5149572491645813},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4826962947845459},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.47845888137817383},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.47212252020835876},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.46526458859443665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3908497393131256},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.334941565990448},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.24857446551322937}],"concepts":[{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.636130154132843},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.613234281539917},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.5927062034606934},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5410217046737671},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5149572491645813},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4826962947845459},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.47845888137817383},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.47212252020835876},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.46526458859443665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3908497393131256},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.334941565990448},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.24857446551322937},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274468","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274468","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/1183743400","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743400","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W153476098","https://openalex.org/W243218583","https://openalex.org/W1489060978","https://openalex.org/W1496947201","https://openalex.org/W1608476301","https://openalex.org/W1731438499","https://openalex.org/W1964249676","https://openalex.org/W1967629533","https://openalex.org/W1970488443","https://openalex.org/W1994034874","https://openalex.org/W1995383554","https://openalex.org/W1996842106","https://openalex.org/W1998516975","https://openalex.org/W2016487828","https://openalex.org/W2022197459","https://openalex.org/W2025067481","https://openalex.org/W2026091787","https://openalex.org/W2037469541","https://openalex.org/W2042499838","https://openalex.org/W2060031586","https://openalex.org/W2077721565","https://openalex.org/W2093271853","https://openalex.org/W2117832390","https://openalex.org/W2319599413","https://openalex.org/W2500837594","https://openalex.org/W2530006810","https://openalex.org/W2905135108","https://openalex.org/W4232277851","https://openalex.org/W4246936007","https://openalex.org/W6649228333","https://openalex.org/W6806940751"],"related_works":["https://openalex.org/W1980326341","https://openalex.org/W31087064","https://openalex.org/W2125468385","https://openalex.org/W1978001037","https://openalex.org/W2298795566","https://openalex.org/W1761397873","https://openalex.org/W148577221","https://openalex.org/W4235638761","https://openalex.org/W2015596941","https://openalex.org/W2168723754"],"abstract_inverted_index":{"A":[0,27,34,48,95,117,123,191,206,222,315,331],"notion":[1,55,79,337],"of":[2,14,41,59,65,80,86,165,181,237,247,290,299,305,338],"reducibility":[3,54,83,254,270,339],"\u2264":[4,35,88,96,188,192,259,316],"r":[5,36,60],"between":[6],"sets":[7,66,304],"is":[8,28,56,84,101,168,185,197,226,255,321,334],"specified":[9,272],"by":[10,131,172,228,273,373],"giving":[11],"a":[12,25,31,81,102,173,183,198,235,274,288],"set":[13,19,26,32,164,236,289],"procedures":[15,43,263],"for":[16,113,157,283,297],"computing":[17],"one":[18,40],"from":[20,241],"another.":[21],"We":[22],"say":[23,93],"that":[24,85,94,134,203,219,231,325,344],"r-reducible":[29],"to":[30,45,69,148,151,234,245],"B,":[33],"B":[37,46,98,114,121,146,194,213,232,318,329],",":[38,115,286],"if":[39,99,195],"the":[42,57,62,73,132,137,163,177,217,220,229,294,300,308,341,370],"applied":[44],"gives":[47,233,287,307],".":[49,90,124,154,214,261],"Associated":[50],"with":[51,67,72,110,216,268,335],"any":[52],"such":[53,182,202,324,356],"structure":[58],"-degrees,":[61],"equivalence":[63],"classes":[64],"respect":[68],"this":[70,269,313,336,350],"reducibility,":[71,187,258],"induced":[74],"ordering.":[75],"The":[76,250,262],"most":[77,178,251],"general":[78,252],"computable":[82,161],"Turing,":[87],"T":[89,97],"Here":[91],"we":[92,141,345,368],"there":[100,196],"Turing":[103,126],"machine":[104],"\u03c6":[105,119],"e":[106,120,265,280,323,327],"which,":[107,282],"when":[108],"equipped":[109],"an":[111,322],"oracle":[112,295],"computes":[116],":":[118,190],"=":[122,330],"Such":[125],"degree":[127],"computations":[128],"are":[129,243,271],"characterized":[130],"phenomenon":[133],"only":[135],"during":[136],"computation":[138],"itself":[139],"do":[140],"discover":[142],"which":[143],"questions":[144,166,238,292],"about":[145,293],"need":[147],"be":[149,246,347,360],"answered":[150],"compute":[152],"A(x)":[153],"In":[155],"contrast,":[156],"nearly":[158],"all":[159],"other":[160],"reducibilities":[162,358],"needed":[167],"given":[169],"in":[170,349,362],"advance":[171],"recursive":[174,199,275],"procedure.":[175],"Perhaps":[176],"common":[179],"example":[180],"procedure":[184],"many-one":[186],"m":[189,193],"function":[200,276],"f":[201,208,277],"x":[204,210,224,242,285],"\u2208":[205,212],"\u21d4":[207],"(":[209,223],")":[211],"Reducibilities":[215],"property":[218],"output,":[221],"),":[225],"determined":[227],"answers":[230],"calculated":[239],"recursively":[240],"said":[244],"tabular":[248,253],"type.":[249],"called":[256],"truth-table":[257],"tt":[260,317],"[":[264,326],"]":[266,328],"associated":[267,342],"(=":[278],"{":[279],"})":[281],"each":[284,298],"n":[291,303],"and,":[296],"possible":[301],"2":[302],"answers,":[306],"corresponding":[309],"output.":[310],"As":[311],"usual":[312],"defines":[314],"as":[319,379,381],"\u201cthere":[320],"\u201d.":[332],"It":[333],"and":[340,376],"tt-degrees":[343],"shall":[346],"concerned":[348],"paper.":[351],"Basic":[352],"information":[353,367],"on":[354],"several":[355],"strong":[357],"can":[359],"found":[361],"Rogers":[363],"[28].":[364],"For":[365],"more":[366],"recommend":[369],"survey":[371],"articles":[372],"Odifreddi":[374],"[25]":[375],"Degtev":[377],"[2]":[378],"well":[380],"Odifreddi's":[382],"book":[383],"[26].":[384]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}