{"id":"https://openalex.org/W3015954656","doi":"https://doi.org/10.1093/logcom/exaa050","title":"Multi-dimensional Interpretations of Presburger Arithmetic in Itself","display_name":"Multi-dimensional Interpretations of Presburger Arithmetic in Itself","publication_year":2020,"publication_date":"2020-09-09","ids":{"openalex":"https://openalex.org/W3015954656","doi":"https://doi.org/10.1093/logcom/exaa050","mag":"3015954656"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaa050","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaa050","pdf_url":"https://academic.oup.com/logcom/article-pdf/30/8/1681/34673220/exaa050.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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/30/8/1681/34673220/exaa050.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064019679","display_name":"Fedor Pakhomov","orcid":"https://orcid.org/0000-0002-9629-9259"},"institutions":[{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I4210120266","display_name":"Czech Academy of Sciences, Institute of Mathematics","ror":"https://ror.org/02tv1yf50","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210120266"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["CZ","RU"],"is_corresponding":true,"raw_author_name":"Fedor Pakhomov","raw_affiliation_strings":["Institute of Mathematics of the Czech Academy of Sciences, \u017ditn\u00e1 25, 115 67, Praha 1, Czech Republic and Steklov Mathematical Institute of Russian Academy of Sciences, 8, Gubkina Str., Moscow, 119991, Russian Federation"],"affiliations":[{"raw_affiliation_string":"Institute of Mathematics of the Czech Academy of Sciences, \u017ditn\u00e1 25, 115 67, Praha 1, Czech Republic and Steklov Mathematical Institute of Russian Academy of Sciences, 8, Gubkina Str., Moscow, 119991, Russian Federation","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I1313323035","https://openalex.org/I4210120266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008328802","display_name":"Alexander Zapryagaev","orcid":"https://orcid.org/0000-0002-6933-2463"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexander Zapryagaev","raw_affiliation_strings":["National Research University Higher School of Economics, 6, Usacheva Str., Moscow 119048, Russian Federation"],"affiliations":[{"raw_affiliation_string":"National Research University Higher School of Economics, 6, Usacheva Str., Moscow 119048, Russian Federation","institution_ids":["https://openalex.org/I118501908"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064019679"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210120266"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12185713,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"8","first_page":"1681","last_page":"1693"},"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.9955000281333923,"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/presburger-arithmetic","display_name":"Presburger arithmetic","score":0.9633599519729614},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6748369932174683},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5985947847366333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5525965094566345},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5237985849380493},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.504923403263092},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.47929710149765015},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4730849862098694},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3714759349822998},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.362995445728302},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.2417488992214203},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.15123358368873596}],"concepts":[{"id":"https://openalex.org/C5852641","wikidata":"https://www.wikidata.org/wiki/Q956059","display_name":"Presburger arithmetic","level":3,"score":0.9633599519729614},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6748369932174683},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5985947847366333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5525965094566345},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5237985849380493},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.504923403263092},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.47929710149765015},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4730849862098694},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3714759349822998},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.362995445728302},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2417488992214203},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.15123358368873596},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1093/logcom/exaa050","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaa050","pdf_url":"https://academic.oup.com/logcom/article-pdf/30/8/1681/34673220/exaa050.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:2004.03404","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.03404","pdf_url":"https://arxiv.org/pdf/2004.03404","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":"","raw_type":"text"},{"id":"mag:3015954656","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2004.03404","pdf_url":null,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:archive.ugent.be:8735652","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-8735652","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1465-363X","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.2004.03404","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2004.03404","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1093/logcom/exaa050","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exaa050","pdf_url":"https://academic.oup.com/logcom/article-pdf/30/8/1681/34673220/exaa050.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/G4854617120","display_name":null,"funder_award_id":"5-100","funder_id":"https://openalex.org/F4320324261","funder_display_name":"National Research University Higher School of Economics"},{"id":"https://openalex.org/G6555851223","display_name":null,"funder_award_id":"19-05497S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G7190510788","display_name":null,"funder_award_id":"19-04-050","funder_id":"https://openalex.org/F4320324261","funder_display_name":"National Research University Higher School of Economics"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320324261","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3015954656.pdf","grobid_xml":"https://content.openalex.org/works/W3015954656.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1026721552","https://openalex.org/W1194446539","https://openalex.org/W1517710889","https://openalex.org/W1572451808","https://openalex.org/W1964766966","https://openalex.org/W1964874178","https://openalex.org/W1988899858","https://openalex.org/W2006957482","https://openalex.org/W2008119321","https://openalex.org/W2033186040","https://openalex.org/W2045583484","https://openalex.org/W2051402262","https://openalex.org/W2081832597","https://openalex.org/W2167290475","https://openalex.org/W2771060834","https://openalex.org/W3149236991","https://openalex.org/W6631040866","https://openalex.org/W6641009008"],"related_works":["https://openalex.org/W3088444784","https://openalex.org/W2953102804","https://openalex.org/W2950109258","https://openalex.org/W2037709165","https://openalex.org/W2088718714","https://openalex.org/W2168387744","https://openalex.org/W2008351575","https://openalex.org/W2156073407","https://openalex.org/W2778271082","https://openalex.org/W1542543925","https://openalex.org/W2115599623","https://openalex.org/W2119250213","https://openalex.org/W2964222779","https://openalex.org/W1534136709","https://openalex.org/W159519339","https://openalex.org/W2034181079","https://openalex.org/W175443705","https://openalex.org/W2107232728","https://openalex.org/W2226604542","https://openalex.org/W2767252625"],"abstract_inverted_index":{"Abstract":[0],"Presburger":[1,16],"arithmetic":[2,17],"is":[3,26],"the":[4,34,70,87,93,98,101,104],"true":[5],"theory":[6],"of":[7,15,23,57,100,103],"natural":[8],"numbers":[9],"with":[10,86],"addition.":[11],"We":[12,45],"study":[13],"interpretations":[14,40],"in":[18,61,81,97],"itself.":[19],"The":[20],"main":[21],"result":[22],"this":[24,48],"paper":[25],"that":[27,41,47,74,78,92],"all":[28,75],"self-interpretations":[29],"are":[30,79,83,95],"definably":[31],"isomorphic":[32],"to":[33,68],"trivial":[35],"one.":[36],"Here":[37],"we":[38,72],"consider":[39],"might":[42],"be":[43],"multi-dimensional.":[44],"note":[46],"resolves":[49],"a":[50],"conjecture":[51],"by":[52],"Visser":[53],"(1998,":[54],"An":[55],"overview":[56],"interpretability":[58],"logic.":[59],"Advances":[60],"Modal":[62],"Logic,":[63],"pp.":[64],"307\u2013359).":[65],"In":[66],"order":[67],"prove":[69],"result,":[71],"show":[73],"linear":[76],"orderings":[77,85],"interpretable":[80],"$({\\mathbb{N}},+)$":[82],"scattered":[84],"finite":[88],"Hausdorff":[89],"rank":[90],"and":[91],"ranks":[94],"bounded":[96],"terms":[99],"dimensions":[102],"respective":[105],"interpretations.":[106]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}