{"id":"https://openalex.org/W2888323212","doi":"https://doi.org/10.1093/logcom/exy025","title":"Strong jump inversion","display_name":"Strong jump inversion","publication_year":2018,"publication_date":"2018-08-10","ids":{"openalex":"https://openalex.org/W2888323212","doi":"https://doi.org/10.1093/logcom/exy025","mag":"2888323212"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exy025","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy025","pdf_url":"https://academic.oup.com/logcom/article-pdf/28/7/1499/26152990/exy025.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/28/7/1499/26152990/exy025.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044223599","display_name":"Wesley Calvert","orcid":"https://orcid.org/0000-0002-1355-2694"},"institutions":[{"id":"https://openalex.org/I110378019","display_name":"Southern Illinois University Carbondale","ror":"https://ror.org/049kefs16","country_code":"US","type":"education","lineage":["https://openalex.org/I110378019","https://openalex.org/I2801502357"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"W Calvert","raw_affiliation_strings":["Department of Mathematics, Southern Illinois University, Carbondale, IL, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Southern Illinois University, Carbondale, IL, USA","institution_ids":["https://openalex.org/I110378019"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105920751","display_name":"A. N. FROLOV","orcid":"https://orcid.org/0000-0002-4406-1206"},"institutions":[{"id":"https://openalex.org/I21203515","display_name":"Kazan Federal University","ror":"https://ror.org/05256ym39","country_code":"RU","type":"education","lineage":["https://openalex.org/I21203515"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"A Frolov","raw_affiliation_strings":["Department of Mathematics, Kazan Federal University, Kazan, Republic of Tatarstan, Russian Federation"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Kazan Federal University, Kazan, Republic of Tatarstan, Russian Federation","institution_ids":["https://openalex.org/I21203515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071875842","display_name":"Valentina Harizanov","orcid":"https://orcid.org/0000-0002-6626-5074"},"institutions":[{"id":"https://openalex.org/I193531525","display_name":"George Washington University","ror":"https://ror.org/00y4zzh67","country_code":"US","type":"education","lineage":["https://openalex.org/I193531525"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V Harizanov","raw_affiliation_strings":["Department of Mathematics, George Washington University, Washington, D.C., USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, George Washington University, Washington, D.C., USA","institution_ids":["https://openalex.org/I193531525"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090978315","display_name":"Julia A. Knight","orcid":"https://orcid.org/0000-0002-7610-7635"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J Knight","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, Notre Dame, IN, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014644233","display_name":"Charlie McCoy","orcid":null},"institutions":[{"id":"https://openalex.org/I71578702","display_name":"University of Portland","ror":"https://ror.org/01q6pmm96","country_code":"US","type":"education","lineage":["https://openalex.org/I71578702"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"C McCoy","raw_affiliation_strings":["Department of Mathematics, University of Portland, Portland, OR, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Portland, Portland, OR, USA","institution_ids":["https://openalex.org/I71578702"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004883990","display_name":"Alexandra A. Soskova","orcid":"https://orcid.org/0000-0002-4392-4284"},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"A Soskova","raw_affiliation_strings":["Department of Mathematical Logic, Sofia University, Sofia, Bulgaria"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic, Sofia University, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067650007","display_name":"Stefan Vatev","orcid":"https://orcid.org/0000-0001-5719-1467"},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":false,"raw_author_name":"S Vatev","raw_affiliation_strings":["Department of Mathematical Logic, Faculty of Mathematics and Informatics, Sofia University, Sofia, Bulgaria"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic, Faculty of Mathematics and Informatics, Sofia University, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5014644233"],"corresponding_institution_ids":["https://openalex.org/I71578702"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.4273,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.65789276,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"28","issue":"7","first_page":"1499","last_page":"1522"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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.9914000034332275,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9901999831199646,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6416510939598083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6342630386352539},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5887436866760254},{"id":"https://openalex.org/keywords/inversion","display_name":"Inversion (geology)","score":0.5071547031402588},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5051677823066711},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.49140846729278564},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.479425847530365},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46646368503570557},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.4594690501689911},{"id":"https://openalex.org/keywords/crystal-structure","display_name":"Crystal structure","score":0.11433488130569458},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.09814590215682983},{"id":"https://openalex.org/keywords/crystallography","display_name":"Crystallography","score":0.08056226372718811}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6416510939598083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6342630386352539},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5887436866760254},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.5071547031402588},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5051677823066711},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.49140846729278564},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.479425847530365},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46646368503570557},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.4594690501689911},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.11433488130569458},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.09814590215682983},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.08056226372718811},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C109007969","wikidata":"https://www.wikidata.org/wiki/Q749565","display_name":"Structural basin","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exy025","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy025","pdf_url":"https://academic.oup.com/logcom/article-pdf/28/7/1499/26152990/exy025.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1808.07124","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.07124","pdf_url":"https://arxiv.org/pdf/1808.07124","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1093/logcom/exy025","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy025","pdf_url":"https://academic.oup.com/logcom/article-pdf/28/7/1499/26152990/exy025.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4278621890","display_name":null,"funder_award_id":"1600625","funder_id":"https://openalex.org/F4320337380","funder_display_name":"Division of Mathematical Sciences"},{"id":"https://openalex.org/G4468331648","display_name":null,"funder_award_id":"1101123","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7668027100","display_name":null,"funder_award_id":"RFBR-16-31-60077","funder_id":"https://openalex.org/F4320321719","funder_display_name":"Universidade Federal de Uberl\u00e2ndia"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307220","display_name":"Christopher Columbus Fellowship Foundation","ror":"https://ror.org/014efpg78"},{"id":"https://openalex.org/F4320309515","display_name":"George Washington University","ror":"https://ror.org/00y4zzh67"},{"id":"https://openalex.org/F4320321719","display_name":"Universidade Federal de Uberl\u00e2ndia","ror":"https://ror.org/04x3wvr31"},{"id":"https://openalex.org/F4320337380","display_name":"Division of Mathematical Sciences","ror":"https://ror.org/051fftw81"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2888323212.pdf","grobid_xml":"https://content.openalex.org/works/W2888323212.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W591591544","https://openalex.org/W1551313231","https://openalex.org/W1578826550","https://openalex.org/W1593399533","https://openalex.org/W1976089169","https://openalex.org/W1980621400","https://openalex.org/W1982821787","https://openalex.org/W1987148015","https://openalex.org/W1988281938","https://openalex.org/W1994014715","https://openalex.org/W2006696273","https://openalex.org/W2034579698","https://openalex.org/W2038761581","https://openalex.org/W2039687554","https://openalex.org/W2055005877","https://openalex.org/W2055585831","https://openalex.org/W2057398815","https://openalex.org/W2065230732","https://openalex.org/W2092014773","https://openalex.org/W2110464795","https://openalex.org/W2129519317","https://openalex.org/W2147255634","https://openalex.org/W2165748083","https://openalex.org/W2165758366","https://openalex.org/W2169861056","https://openalex.org/W2300684981","https://openalex.org/W2599245648","https://openalex.org/W2963007053","https://openalex.org/W3187762542","https://openalex.org/W4253356638","https://openalex.org/W6664692213","https://openalex.org/W6673453176","https://openalex.org/W6679165087","https://openalex.org/W6680593891"],"related_works":["https://openalex.org/W108845024","https://openalex.org/W2406961474","https://openalex.org/W4300125793","https://openalex.org/W2578985712","https://openalex.org/W2952598754","https://openalex.org/W2156140706","https://openalex.org/W2101752691","https://openalex.org/W2140392112","https://openalex.org/W2094354112","https://openalex.org/W2091162291"],"abstract_inverted_index":{"We":[0,98,154],"say":[1],"that":[2,11,40,58,79,129,225],"a":[3,100,107,172,209,232],"structure":[4,108],"|$\\mathcal{A}$|":[5,109],"admits":[6,62],"strong":[7,63,95,112],"jump":[8,64,96,113],"inversion":[9],"provided":[10],"for":[12,20,28,106,164,174],"every":[13,59],"oracle":[14],"|$X$|\u2060,":[15],"if":[16],"|$X^{\\prime}$|":[17],"computes":[18,26],"|$D(\\mathcal{C})^{\\prime}$|":[19],"some":[21,29,141,147,181],"|$\\mathcal{C}\\cong":[22],"\\mathcal{A}$|\u2060,":[23],"then":[24],"|$X$|":[25],"|$D(\\mathcal{B})$|":[27],"|$\\mathcal{B}\\cong":[30],"\\mathcal{A}$|\u2060.":[31],"Jockusch":[32,52,163],"and":[33,51,70,152,162,198],"Soare":[34],"(1991,":[35],"APAL,":[36],"52,":[37],"39\u201364)":[38],"showed":[39,57],"there":[41],"are":[42,124,130],"low":[43],"linear":[44,150],"orderings":[45,151],"without":[46],"computable":[47,210],"copies,":[48],"but":[49,168],"Downey":[50,161],"(1994,":[53],"PAMS,":[54],"122,":[55],"871\u2013880)":[56],"Boolean":[60,131,166,175],"algebra":[61],"inversion.":[65,97,114],"More":[66],"recently,":[67],"D.":[68],"Marker":[69,197],"R.":[71],"Miller":[72],"(2017,":[73],"JSL,":[74],"82,":[75],"1\u201325)":[76],"have":[77],"shown":[78],"all":[80],"countable":[81],"models":[82,217],"of":[83,87,91,120,127,133,144,149,160,187,196,212,218,229],"|$DCF_0$|":[84,230],"(the":[85],"theory":[86],"differentially":[88],"closed":[89],"fields":[90],"characteristic":[92],"|$0$|\u2060)":[93],"admit":[94,111],"establish":[99],"general":[101,137,191,205],"result":[102,138,159,173,192,195],"with":[103,177,180],"sufficient":[104],"conditions":[105,116],"to":[110,140,202],"Our":[115,136,190],"involve":[117],"an":[118],"enumeration":[119,211],"|$B_1$|-types,":[121],"where":[122],"these":[123],"made":[125],"up":[126],"formulas":[128],"combinations":[132],"existential":[134],"formulas.":[135],"applies":[139],"familiar":[142],"kinds":[143],"structures,":[145],"including":[146],"classes":[148],"trees.":[153],"do":[155,170],"not":[156],"get":[157,171],"the":[158,185,188,194,213,223,226],"arbitrary":[165],"algebras,":[167],"we":[169,207],"algebras":[176],"no":[178],"|$1$|-atom,":[179],"extra":[182],"information":[183],"on":[184],"complexity":[186],"isomorphism.":[189],"gives":[193],"Miller.":[199],"In":[200],"order":[201],"apply":[203],"our":[204],"result,":[206],"produce":[208],"types":[214],"realized":[215],"in":[216],"|$DCF_0$|\u2060.":[219],"This":[220],"also":[221],"yields":[222],"fact":[224],"saturated":[227],"model":[228],"has":[231],"decidable":[233],"copy.":[234]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}