{"id":"https://openalex.org/W2090505712","doi":"https://doi.org/10.2307/2273139","title":"Index sets and degrees of unsolvability","display_name":"Index sets and degrees of unsolvability","publication_year":1982,"publication_date":"1982-06-01","ids":{"openalex":"https://openalex.org/W2090505712","doi":"https://doi.org/10.2307/2273139","mag":"2090505712"},"language":"en","primary_location":{"id":"doi:10.2307/2273139","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273139","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/A5108451746","display_name":"Michael Stob","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Stob","raw_affiliation_strings":["Massachusetts Institute of Technology, Cambridge, Massachusetts 02139","Massachusetts Institute of Technology Cambridge, Massachusetts 02139"],"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, Cambridge, Massachusetts 02139","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Massachusetts Institute of Technology Cambridge, Massachusetts 02139","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108451746"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.5497,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.68051185,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"47","issue":"2","first_page":"241","last_page":"248"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7348999977111816,"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.7348999977111816,"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/T12825","display_name":"Defense, Military, and Policy Studies","score":0.6248000264167786,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.6209999918937683,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7052817940711975},{"id":"https://openalex.org/keywords/fundamental-theorem","display_name":"Fundamental theorem","score":0.5405778288841248},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5346317291259766},{"id":"https://openalex.org/keywords/index","display_name":"Index (typography)","score":0.49746063351631165},{"id":"https://openalex.org/keywords/mean-value-theorem","display_name":"Mean value theorem (divided differences)","score":0.47537484765052795},{"id":"https://openalex.org/keywords/compactness-theorem","display_name":"Compactness theorem","score":0.47329893708229065},{"id":"https://openalex.org/keywords/exposition","display_name":"Exposition (narrative)","score":0.4640810489654541},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.45899417996406555},{"id":"https://openalex.org/keywords/brouwer-fixed-point-theorem","display_name":"Brouwer fixed-point theorem","score":0.4565408527851105},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.45126157999038696},{"id":"https://openalex.org/keywords/danskins-theorem","display_name":"Danskin's theorem","score":0.4474204480648041},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4464237689971924},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4463203251361847},{"id":"https://openalex.org/keywords/atiyah\u2013singer-index-theorem","display_name":"Atiyah\u2013Singer index theorem","score":0.4327166676521301},{"id":"https://openalex.org/keywords/carlsons-theorem","display_name":"Carlson's theorem","score":0.4228695333003998},{"id":"https://openalex.org/keywords/picard\u2013lindel\u00f6f-theorem","display_name":"Picard\u2013Lindel\u00f6f theorem","score":0.384166419506073},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.29964667558670044},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.27068030834198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.1548951268196106},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15335306525230408}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7052817940711975},{"id":"https://openalex.org/C194886279","wikidata":"https://www.wikidata.org/wiki/Q430271","display_name":"Fundamental theorem","level":3,"score":0.5405778288841248},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5346317291259766},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.49746063351631165},{"id":"https://openalex.org/C139588767","wikidata":"https://www.wikidata.org/wiki/Q17098096","display_name":"Mean value theorem (divided differences)","level":4,"score":0.47537484765052795},{"id":"https://openalex.org/C171636804","wikidata":"https://www.wikidata.org/wiki/Q1149458","display_name":"Compactness theorem","level":4,"score":0.47329893708229065},{"id":"https://openalex.org/C2776285698","wikidata":"https://www.wikidata.org/wiki/Q2642214","display_name":"Exposition (narrative)","level":2,"score":0.4640810489654541},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.45899417996406555},{"id":"https://openalex.org/C146147875","wikidata":"https://www.wikidata.org/wiki/Q1144897","display_name":"Brouwer fixed-point theorem","level":3,"score":0.4565408527851105},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.45126157999038696},{"id":"https://openalex.org/C48540410","wikidata":"https://www.wikidata.org/wiki/Q5221089","display_name":"Danskin's theorem","level":4,"score":0.4474204480648041},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4464237689971924},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4463203251361847},{"id":"https://openalex.org/C197617374","wikidata":"https://www.wikidata.org/wiki/Q755991","display_name":"Atiyah\u2013Singer index theorem","level":2,"score":0.4327166676521301},{"id":"https://openalex.org/C90985795","wikidata":"https://www.wikidata.org/wiki/Q5042898","display_name":"Carlson's theorem","level":5,"score":0.4228695333003998},{"id":"https://openalex.org/C206929604","wikidata":"https://www.wikidata.org/wiki/Q530152","display_name":"Picard\u2013Lindel\u00f6f theorem","level":3,"score":0.384166419506073},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.29964667558670044},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27068030834198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.1548951268196106},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15335306525230408},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2273139","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273139","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/1183740995","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740995","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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1971553070","https://openalex.org/W1980566306","https://openalex.org/W1992585009","https://openalex.org/W2117832390","https://openalex.org/W2530006810","https://openalex.org/W2905135108","https://openalex.org/W4241648600","https://openalex.org/W4249457683"],"related_works":["https://openalex.org/W2388529506","https://openalex.org/W2359037450","https://openalex.org/W2492532462","https://openalex.org/W2044132465","https://openalex.org/W2063265350","https://openalex.org/W2366068903","https://openalex.org/W2009309575","https://openalex.org/W2290798059","https://openalex.org/W2386724422","https://openalex.org/W2361904485"],"abstract_inverted_index":{"The":[0,24,145],"characterization":[1],"of":[2,4,33,43,65,71,76,142,164,176,183,226,228,236,239,250,268],"classes":[3],"r.e.":[5,20,38,62,88,229,263,270],"sets":[6,10,21,225],"by":[7,95,118,214],"their":[8],"index":[9,73],"has":[11,79,113,266],"proved":[12,81,246],"valuable":[13],"in":[14],"producing":[15],"new":[16,104],"results":[17],"about":[18,86,222],"the":[19,87,165,174,184,196,206],"and":[22,105,199],"degrees.":[23,89],"classic":[25],"example":[26],"is":[27,61,68,141,150,186,233,274],"Yates'":[28],"proof":[29,123,136,146],"[5,":[30],"Theorem":[31,63,98,148,242],"7]":[32],"Sacks'":[34],"density":[35],"theorem":[36,75,91,127,198,212,221,232,238,258],"for":[37,108],"degrees":[39],"using":[40,137,247],"his":[41,122],"classification":[42],"{":[44],"e":[45,48],":":[46],"W":[47],"\u2264":[49],"T":[50],"D":[51,57,60],")":[52,58],"as":[53],"\u03a3":[54,223],"3":[55,224],"(":[56],"whenever":[59],"1":[64,149],"this":[66,72,125,211],"paper":[67],"a":[69,103,133,161,180,220,234,237,248],"refinement":[70],"set":[74,264],"Yates":[77],"which":[78,112,140,244],"already":[80],"to":[82,124,147,210,259],"have":[83,132],"interesting":[84,208],"consequences":[85],"This":[90,231],"was":[92,245],"originally":[93],"announced":[94,213],"Kallibekov":[96,100],"[1,":[97],"1].":[99],"there":[101],"proposed":[102],"ingenious":[106],"method":[107,185],"doing":[109],"priority":[110,154,168],"arguments":[111],"also":[114,200],"since":[115],"been":[116],"used":[117],"Kinber":[119,240],"[2].":[120],"Unfortunately":[121],"particular":[126],"contains":[128],"an":[129,151,262],"error.":[130],"We":[131,170],"totally":[134],"different":[135],"standard":[138],"techniques":[139],"independent":[143],"interest.":[144],"infinite":[152,166],"injury":[153,167],"argument.":[155],"In":[156,192,216],"\u00a71":[157],"therefore":[158],"we":[159,194,203,218,255],"give":[160,201],"short":[162],"summary":[163],"method.":[169],"draw":[171],"heavily":[172],"on":[173],"exposition":[175],"Soare":[177],"[4]":[178],"where":[179],"complete":[181],"description":[182],"given":[187],"along":[188],"with":[189],"many":[190],"examples.":[191],"\u00a72":[193],"prove":[195,219],"main":[197],"what":[202],"think":[204],"are":[205],"most":[207],"corollaries":[209],"Kallibekov.":[215],"\u00a73":[217],"indices":[227],"sets.":[230],"strengthening":[235],"[2,":[241],"1]":[243],"modification":[249],"Kallibekov's":[251],"technique.":[252],"As":[253],"application,":[254],"use":[256],"our":[257],"show":[260],"that":[261],"A":[265,273],"supersets":[267],"every":[269],"degree":[271],"iff":[272],"not":[275],"simple.":[276]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}