{"id":"https://openalex.org/W2035687451","doi":"https://doi.org/10.2307/2273146","title":"A classification of jump operators","display_name":"A classification of jump operators","publication_year":1982,"publication_date":"1982-06-01","ids":{"openalex":"https://openalex.org/W2035687451","doi":"https://doi.org/10.2307/2273146","mag":"2035687451"},"language":"en","primary_location":{"id":"doi:10.2307/2273146","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273146","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/A5088247102","display_name":"John R. Steel","orcid":"https://orcid.org/0000-0001-5967-0699"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John R. Steel","raw_affiliation_strings":["University of California at Los Angeles, Los Angeles, California 90024","University of California at Los Angeles**"],"affiliations":[{"raw_affiliation_string":"University of California at Los Angeles, Los Angeles, California 90024","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"University of California at Los Angeles**","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088247102"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.16227462,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"47","issue":"2","first_page":"347","last_page":"358"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9807999730110168,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.6254903674125671},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6129865646362305},{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.6098368763923645},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5904863476753235},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5650704503059387},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37878286838531494},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.168943852186203}],"concepts":[{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.6254903674125671},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6129865646362305},{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.6098368763923645},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5904863476753235},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5650704503059387},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37878286838531494},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.168943852186203},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.2307/2273146","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273146","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W137575595","https://openalex.org/W1968792152","https://openalex.org/W1985995199","https://openalex.org/W2026230232","https://openalex.org/W2031151986","https://openalex.org/W2055180636","https://openalex.org/W2077301442","https://openalex.org/W2098636695","https://openalex.org/W2122092051","https://openalex.org/W2200966179"],"related_works":["https://openalex.org/W2367640509","https://openalex.org/W3100596403","https://openalex.org/W2261099788","https://openalex.org/W2351878174","https://openalex.org/W2031989954","https://openalex.org/W3167842375","https://openalex.org/W1524249063","https://openalex.org/W2243065597","https://openalex.org/W1177814939","https://openalex.org/W2086359902"],"abstract_inverted_index":{"The":[0,57,140,330],"structure":[1],"(":[2,28,195,200,210,213,219,240,265,283,288,319,326],"D":[3,81,182,184,272,274,312,314],",":[4,30,73,82,90,93,275,357],"\u2264)":[5,31],"of":[6,32,50,136,230,248],"the":[7,26,36,53,69,98,103,128,134,228],"Turing":[8,11,114],"degrees":[9,64,70,105],"under":[10],"reducibility":[12,55,164],"is":[13,17,118,131,175,245,333,341],"quite":[14],"complicated.":[15],"This":[16],"true":[18],"even":[19],"if":[20],"we":[21,61,250],"restrict":[22],"our":[23],"attention":[24],"to":[25,63,107,123,132,155,170,233,335],"substructure":[27],"R":[29,72,241,320],"r.e.":[33],"degrees.":[34,168],"However,":[35],"theorems":[37],"which":[38],"imply":[39],"that":[40,186,235],"these":[41],"structures":[42],"are":[43],"complicated":[44],"all":[45],"involve":[46],"ad":[47],"hoc":[48],"constructions":[49],"sets":[51],"having":[52],"desired":[54],"relations.":[56],"complexity":[58],"disappears":[59],"when":[60],"turn":[62],"occurring":[65],"in":[66,71,354],"nature.":[67],"Of":[68,126],"only":[74,83],"0":[75,88,91],"and":[76,159,192,305],"0\u2032":[77],"seem":[78,100,143],"natural.":[79,101],"In":[80],"0,":[84],"0\u2032,":[85],"0\u2033,":[86],"\u2026,":[87],"\u03c9":[89],"\u03c9+1":[92],"\u2026":[94],"(and":[95],"on":[96],"into":[97],"transfinite)":[99],"Thus":[102,169],"natural":[104,146,167,172],"appear":[106],"be":[108,149,223],"wellordered,":[109],"with":[110],"successors":[111],"given":[112],"by":[113,295,343],"jump.":[115],"If":[116,243,347],"this":[117,160],"true,":[119],"one":[120],"would":[121],"like":[122],"prove":[124],"it.":[125],"course":[127],"first":[129],"problem":[130],"make":[133],"concept":[135],"naturalness":[137],"more":[138],"precise.":[139],"following":[141,331],"requirements":[142],"plausible:":[144],"a":[145,177,246],"degree":[147,173],"should":[148,153,162],"definable,":[150],"its":[151],"definition":[152],"relativise":[154],"an":[156],"arbitrary":[157],"degree,":[158],"relativisation":[161],"preserve":[163],"relations":[165],"among":[166],"each":[171],"c":[174,180,188,191,199,206,218,232,237,259,263],"associated":[176],"definable":[178],"f":[179,187,198,211,217,231,236,277,282,293,296,301,310,316,325,348,359],":":[181,271,311],"\u2192":[183,273,313],"so":[185],"(0)":[189],"=":[190,300,308],"\u2200":[193,208,260],"d":[194,196,201,209,214,220,261,266,284,289,298,303,323,327],"\u2264":[197,205,278,286,324,344,355],")).":[202,221],"Moreover,":[203],"b":[204,212],"iff":[207,257,281],")":[215,285,290,299,321,328],"\u2264,":[216],"To":[222],"specific,":[224],"let":[225,276,306],"us":[226],"take":[227],"definability":[229],"mean":[234],"\u2208":[238,317,349],"L":[239,318],").":[242,267],"P":[244,252,264],"property":[247],"degrees,":[249],"say":[251],"holds":[253],"almost":[254],"everywhere":[255],"(a.e.)":[256],"\u2203":[258],"\u2265:":[262],"For":[268],"f,":[269],"g":[270,280,287],"m":[279,345,356],"a.e.":[291],"Define":[292],"\u2032":[294,360],"\u2032(":[297],"{":[302,309],")\u2032,":[304],"M":[307,340,350],"/":[315],"\u2227":[322],"a.e.}.":[329],"conjecture":[332],"due":[334],"D.":[336],"A.":[337],"Martin:":[338],"Conjecture.":[339],"prewellordered":[342],".":[346],"has":[351,361],"rank":[352,362],"\u03b1":[353,363],"then":[358],"+":[364],"1.":[365]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":18},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}