{"id":"https://openalex.org/W2884086238","doi":"https://doi.org/10.1002/malq.201800015","title":"Jump inversions of algebraic structures and \u03a3\u2010definability","display_name":"Jump inversions of algebraic structures and \u03a3\u2010definability","publication_year":2019,"publication_date":"2019-05-01","ids":{"openalex":"https://openalex.org/W2884086238","doi":"https://doi.org/10.1002/malq.201800015","mag":"2884086238"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201800015","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800015","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5051401190","display_name":"M. Kh. Fa\u012dzrahmanov","orcid":"https://orcid.org/0000-0002-4519-9696"},"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"]},{"id":"https://openalex.org/I4210105350","display_name":"N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences","ror":"https://ror.org/029fhmb28","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210105350","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Marat Faizrahmanov","raw_affiliation_strings":["N. I. Lobachevsky Institute of Mathematics and Mechanics Kazan (Volga Region) Federal University 35 Ulitsa Kremlevskaya Kazan 4200 Russia","N. I. Lobachevsky Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, 35 Ulitsa Kremlevskaya, Kazan, 4200 Russia"],"raw_orcid":"https://orcid.org/0000-0002-4519-9696","affiliations":[{"raw_affiliation_string":"N. I. Lobachevsky Institute of Mathematics and Mechanics Kazan (Volga Region) Federal University 35 Ulitsa Kremlevskaya Kazan 4200 Russia","institution_ids":["https://openalex.org/I21203515"]},{"raw_affiliation_string":"N. I. Lobachevsky Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, 35 Ulitsa Kremlevskaya, Kazan, 4200 Russia","institution_ids":["https://openalex.org/I4210105350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079381390","display_name":"Asher M. Kach","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Asher Kach","raw_affiliation_strings":["Google LLC 320 N. Morgan Chicago IL 60607 United States of America","Google LLC, 320 N. Morgan, Chicago, IL, 60607 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google LLC 320 N. Morgan Chicago IL 60607 United States of America","institution_ids":["https://openalex.org/I1291425158"]},{"raw_affiliation_string":"Google LLC, 320 N. Morgan, Chicago, IL, 60607 United States of America","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052577470","display_name":"I. Sh. Kalimullin","orcid":"https://orcid.org/0000-0002-5931-3453"},"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"]},{"id":"https://openalex.org/I4210105350","display_name":"N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences","ror":"https://ror.org/029fhmb28","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210105350","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Iskander Kalimullin","raw_affiliation_strings":["N. I. Lobachevsky Institute of Mathematics and Mechanics Kazan (Volga Region) Federal University 35 Ulitsa Kremlevskaya Kazan 4200 Russia","N. I. Lobachevsky Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, 35 Ulitsa Kremlevskaya, Kazan, 4200 Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"N. I. Lobachevsky Institute of Mathematics and Mechanics Kazan (Volga Region) Federal University 35 Ulitsa Kremlevskaya Kazan 4200 Russia","institution_ids":["https://openalex.org/I21203515"]},{"raw_affiliation_string":"N. I. Lobachevsky Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University, 35 Ulitsa Kremlevskaya, Kazan, 4200 Russia","institution_ids":["https://openalex.org/I4210105350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033772009","display_name":"Antonio Montalb\u00e1n","orcid":"https://orcid.org/0000-0002-5068-1444"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Antonio Montalb\u00e1n","raw_affiliation_strings":["Department of Mathematics University of California Berkeley, 970 Evans Hall Berkeley CA 94720 United States of America","Department of Mathematics, University of California, Berkeley, 970 Evans Hall, Berkeley, CA, 94720 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of California Berkeley, 970 Evans Hall Berkeley CA 94720 United States of America","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Department of Mathematics, University of California, Berkeley, 970 Evans Hall, Berkeley, CA, 94720 United States of America","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079401879","display_name":"V. G. Puzarenko","orcid":null},"institutions":[{"id":"https://openalex.org/I188973947","display_name":"Novosibirsk State University","ror":"https://ror.org/04t2ss102","country_code":"RU","type":"education","lineage":["https://openalex.org/I188973947"]},{"id":"https://openalex.org/I4210096862","display_name":"Sobolev Institute of Mathematics","ror":"https://ror.org/00shc0s02","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210096862","https://openalex.org/I4210124601","https://openalex.org/I4210127387"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Vadim Puzarenko","raw_affiliation_strings":["S. L. Sobolev Institute of Mathematics Novosibirsk State University 4 Acad. Koptyug avenue 630090 Novosibirsk Russia","S. L. Sobolev Institute of Mathematics, Novosibirsk State University, 4 Acad. Koptyug avenue, 630090 Novosibirsk, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"S. L. Sobolev Institute of Mathematics Novosibirsk State University 4 Acad. Koptyug avenue 630090 Novosibirsk Russia","institution_ids":["https://openalex.org/I4210096862"]},{"raw_affiliation_string":"S. L. Sobolev Institute of Mathematics, Novosibirsk State University, 4 Acad. Koptyug avenue, 630090 Novosibirsk, Russia","institution_ids":["https://openalex.org/I4210096862","https://openalex.org/I188973947"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5051401190"],"corresponding_institution_ids":["https://openalex.org/I21203515","https://openalex.org/I4210105350"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.5783,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67769773,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"65","issue":"1","first_page":"37","last_page":"45"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9987000226974487,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9908999800682068,"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/countable-set","display_name":"Countable set","score":0.9162371158599854},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.9116792678833008},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.8474295735359192},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.5771039128303528},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.4994626045227051},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4579838812351227},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43104851245880127},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4135659635066986},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.16643407940864563}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.9162371158599854},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9116792678833008},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.8474295735359192},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.5771039128303528},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4994626045227051},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4579838812351227},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43104851245880127},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4135659635066986},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.16643407940864563},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201800015","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201800015","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3549716584","display_name":null,"funder_award_id":"18\u201011\u201000028","funder_id":"https://openalex.org/F4320324099","funder_display_name":"Russian Science Foundation"},{"id":"https://openalex.org/G4067585759","display_name":null,"funder_award_id":"18\u201001\u201000624","funder_id":"https://openalex.org/F4320321079","funder_display_name":"Russian Foundation for Basic Research"},{"id":"https://openalex.org/G7337515571","display_name":null,"funder_award_id":"DMS\u20100901169","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"},{"id":"https://openalex.org/F4320324099","display_name":"Russian Science Foundation","ror":"https://ror.org/03y2gwe85"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1578826550","https://openalex.org/W1976089169","https://openalex.org/W1985060429","https://openalex.org/W1994014715","https://openalex.org/W2006696273","https://openalex.org/W2125598426","https://openalex.org/W2129519317","https://openalex.org/W2147255634","https://openalex.org/W2165748083","https://openalex.org/W2275633557","https://openalex.org/W2478857688","https://openalex.org/W2963736300","https://openalex.org/W4256442140"],"related_works":["https://openalex.org/W3100109466","https://openalex.org/W2136017802","https://openalex.org/W2121711034","https://openalex.org/W1985684185","https://openalex.org/W1916943071","https://openalex.org/W2963375143","https://openalex.org/W1996580892","https://openalex.org/W2081740901","https://openalex.org/W4300537419","https://openalex.org/W2761925815"],"abstract_inverted_index":{"Abstract":[0],"It":[1],"is":[2,16,21,29,55],"proved":[3],"that":[4,28,39,53],"for":[5,45,63],"every":[6],"countable":[7,18,25,57],"structure":[8,19,58],"and":[9],"a":[10,17],"computable":[11],"successor":[12],"ordinal":[13,48],"\u03b1":[14],"there":[15,54],"which":[20],"\u2010least":[22],"among":[23],"all":[24],"structures":[26],"such":[27],"\u03a3\u2010definable":[30],"in":[31],"the":[32,46,60],"\u03b1th":[33],"jump":[34],".":[35,49,64],"We":[36],"also":[37],"show":[38],"this":[40],"result":[41],"does":[42],"not":[43],"hold":[44],"limit":[47],"Moreover,":[50],"we":[51],"prove":[52],"no":[56],"with":[59],"degree":[61],"spectrum":[62]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}