{"id":"https://openalex.org/W2144999713","doi":"https://doi.org/10.2307/2273510","title":"Double jumps of minimal degrees","display_name":"Double jumps of minimal degrees","publication_year":1978,"publication_date":"1978-12-01","ids":{"openalex":"https://openalex.org/W2144999713","doi":"https://doi.org/10.2307/2273510","mag":"2144999713"},"language":"en","primary_location":{"id":"doi:10.2307/2273510","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273510","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/A5008417331","display_name":"Carl G. Jockusch","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Carl G. Jockusch","raw_affiliation_strings":["University of Illinois, At Urbana-Champaign, Urbana, Illinois 61801"],"affiliations":[{"raw_affiliation_string":"University of Illinois, At Urbana-Champaign, Urbana, Illinois 61801","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045202740","display_name":"David B. Posner","orcid":null},"institutions":[{"id":"https://openalex.org/I51504820","display_name":"San Jose State University","ror":"https://ror.org/04qyvz380","country_code":"US","type":"education","lineage":["https://openalex.org/I51504820"]},{"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":"David B. Posner","raw_affiliation_strings":["San Jose State University, San Jose, CA 95192","University of Chicago, Chicago, Illinois 60637"],"affiliations":[{"raw_affiliation_string":"San Jose State University, San Jose, CA 95192","institution_ids":["https://openalex.org/I51504820"]},{"raw_affiliation_string":"University of Chicago, Chicago, Illinois 60637","institution_ids":["https://openalex.org/I40347166"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5008417331"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":3.1678,"has_fulltext":false,"cited_by_count":73,"citation_normalized_percentile":{"value":0.92657993,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"43","issue":"4","first_page":"715","last_page":"724"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9993000030517578,"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.9993000030517578,"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.988099992275238,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9294000267982483,"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/degree","display_name":"Degree (music)","score":0.8502135276794434},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6706356406211853},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6283699870109558},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.512099027633667},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.25215956568717957},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1123150885105133}],"concepts":[{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.8502135276794434},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6706356406211853},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6283699870109558},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.512099027633667},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.25215956568717957},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1123150885105133},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"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/2273510","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2273510","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/1183740317","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183740317","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":15,"referenced_works":["https://openalex.org/W44111308","https://openalex.org/W1007476460","https://openalex.org/W2004998346","https://openalex.org/W2021406081","https://openalex.org/W2046729032","https://openalex.org/W2055051664","https://openalex.org/W2057392475","https://openalex.org/W2079464688","https://openalex.org/W2081610393","https://openalex.org/W2101746971","https://openalex.org/W2166032841","https://openalex.org/W2167930025","https://openalex.org/W2530006810","https://openalex.org/W4244676972","https://openalex.org/W6696064080"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"This":[0,156],"paper":[1],"concerns":[2],"certain":[3],"relationships":[4],"between":[5],"the":[6,13,52,65,85,142,182,216,241,254,265,298,304,326,343,363],"ordering":[7],"of":[8,10,56,67,87,161,218,240,253,294,301,316,320,331,345,365],"degrees":[9,68,88,266,302,305,309,346,366],"unsolvability":[11],"and":[12,40,58,80,107,119,130,187,251,291,358],"jump":[14],"operation.":[15],"It":[16],"is":[17,151,176,195,203],"shown":[18,192],"that":[19,73,93,101,144,169,193,274,349,369],"every":[20,145,275],"minimal":[21,146,171,197,220,231,257,276],"degree":[22,147,172,198,221,232,277],"a":[23,27,69,74,89,94,148,173,196,199,219,222,233,278,283,314,347,350,367,370],"<":[24,70,174,200,223,234],"0\u2032":[25,71,91,150,175,201,224,235,268,285,307],"satisfies":[26,279],"\u2033":[28],"=":[29,76,96,125,281,352,372],"0\u2033":[30],".":[31,99,155,180,208,228,269,377],"To":[32,287],"restate":[33,288],"this":[34,289],"result":[35,134,160,290],"in":[36,141,152,177,205,225,237,272,310],"more":[37],"suggestive":[38],"language":[39],"compare":[41],"it":[42],"with":[43],"related":[44],"results,":[45],"we":[46,296,324,329],"shall":[47],"use":[48],"notation":[49],"based":[50],"on":[51],"now":[53,138],"standard":[54],"terminology":[55],"\u201chigh\u201d":[57],"\u201clow\u201d":[59],"degrees.":[60,258],"Let":[61,339],"H":[62,102,120,178],"n":[63,83,95,98,341,361],"be":[64,84,139,342,362],"class":[66,86,344,364],"such":[72,92,348,368],"(n)":[75,351,356,371],"0":[77,97],"(n+1)":[78],",":[79,113,118,357],"let":[81,359],"L":[82,105,108,111,123,153,206,226,244,246,249],"\u2264":[90,116,149],"(Observe":[100],"i":[103,109,115,121,129],"\u2286":[104,110],"j":[106,112,117,124],"whenever":[114],"\u2229":[122],"\u2205":[126],"for":[127],"all":[128],"j.":[131],")":[132],"The":[133],"mentioned":[135],"above":[136],"may":[137],"restated":[140],"form":[143],"2":[154,247],"extends":[157],"an":[158],"earlier":[159],"S.":[162],"B.":[163],"Cooper":[164,188],"([1],":[165],"see":[166],"also":[167],"[4])":[168],"no":[170],"1":[179,207,227,245,250],"In":[181],"other":[183],"direction,":[184],"Sasso,":[185],"Epstein,":[186],"([10],":[189],"[15])":[190],"have":[191],"there":[194],"which":[202,334],"not":[204,262],"Also,":[209],"C.E.M.":[210],"Yates":[211],"[14,":[212],"Corollary":[213],"11.14],":[214],"showed":[215],"existence":[217],"Thus":[229],"each":[230,252],"lies":[236],"exactly":[238],"one":[239,327],"two":[242],"classes":[243,255],"\u2013":[248],"contains":[256],"Our":[259],"results":[260],"are":[261,313],"restricted":[263],"to":[264,308,336],"below":[267,306],"We":[270],"show":[271],"fact":[273],"a\u2033":[280],"(":[282],"\u222a":[284,354,374],")\u2032.":[286],"discuss":[292],"extensions":[293],"it,":[295],"extend":[297],"\u201chigh-low\u201d":[299],"classification":[300],"from":[303],"general.":[311],"There":[312],"number":[315],"fairly":[317],"plausible":[318],"ways":[319],"doing":[321,332],"this,":[322],"but":[323],"choose":[325],"way":[328],"know":[330],"so":[333],"leads":[335],"interesting":[337],"results.":[338],"GH":[340],"(a":[353,373],"0\u2032)":[355,375],"GL":[360],"(n\u22121)":[376]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}