{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:57Z","timestamp":1750220457295,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,18]],"date-time":"2021-07-18T00:00:00Z","timestamp":1626566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,18]]},"DOI":"10.1145\/3452143.3465515","type":"proceedings-article","created":{"date-parts":[[2021,7,13]],"date-time":"2021-07-13T22:32:21Z","timestamp":1626215541000},"page":"353-360","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Positive Existential Definability with Unit, Addition and Coprimeness"],"prefix":"10.1145","author":[{"given":"Mikhail R.","family":"Starchak","sequence":"first","affiliation":[{"name":"St. Petersburg State University, St. Petersburg, Russian Fed."}]}],"member":"320","published-online":{"date-parts":[[2021,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"15","article-title":"Decidability of the universal theory of natural numbers with addition and divisibility","volume":"60","author":"Beltyukov Anatoly P.","year":"1976","unstructured":"Anatoly P. Beltyukov. 1976. Decidability of the universal theory of natural numbers with addition and divisibility. Zapiski Nauchnyh Seminarov LOMI, Vol. 60 (1976), 15--28. http:\/\/www.mathnet.ru\/php\/archive.phtml?wshow=paper&jrnid=znsl&paperid=2066&option_lang=eng (in Russian).","journal-title":"Zapiski Nauchnyh Seminarov LOMI"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1090\/s0002-9939-1976-0396605-3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_27"},{"key":"e_1_3_2_1_4_1","unstructured":"Patrick C\u00e9gielski and Denis Richard. 2013. In memoriam of Alan Robert Woods. In New Studies in Weak Arithmetics Lecture Notes 211 Patrick C\u00e9gielski Charalampos Cornaros and Costas Dimitracopoulos (Eds.). CSLI Publications Stanford 15--31."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242953.3242964"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04081-8_25"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/s0304-3975(00)00113-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24537-9_9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/lics.2015.67"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1090\/s0002-9947-1978-0469886-1"},{"key":"e_1_3_2_1_11_1","first-page":"41","article-title":"Some remarks on the Diophantine problem for addition and divisibility. Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de Belgique","volume":"33","author":"Lipshitz Leonard","year":"1981","unstructured":"Leonard Lipshitz. 1981. Some remarks on the Diophantine problem for addition and divisibility. Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de Belgique. S\u00e9rie B, Vol. 33, 1 (1981), 41--52.","journal-title":"S\u00e9rie B"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/mana.19580180112"},{"key":"e_1_3_2_1_13_1","unstructured":"Moj\u017cesz Presburger. 1929. \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen in welchem die Addition als einzige Operation hervortritt. In Comptes Rendus du I congr\u00e8s de Math\u00e9maticiens des Pays Slaves. 92--101."},{"key":"e_1_3_2_1_14_1","volume-title":"P\u00e9rez and Ritam Raha","author":"Guillermo","year":"2020","unstructured":"Guillermo A. P\u00e9rez and Ritam Raha. 2020. Revisiting Synthesis for One-Counter Automata. (May 2020). arxiv: 2005.01071 [cs.LO]"},{"key":"e_1_3_2_1_15_1","first-page":"143","article-title":"La th\u00e9orie sans \u00e9galit\u00e9 du successeur et de la coprimarit\u00e9 des entiers naturels est ind\u00e9cidable. Le pr\u00e9dicat de primarit\u00e9 est d\u00e9finissable dans le langage de cette th\u00e9orie. Comptes Rendus de l'Acad\u00e9mie des Sciences","volume":"294","author":"Richard Denis","year":"1982","unstructured":"Denis Richard. 1982. La th\u00e9orie sans \u00e9galit\u00e9 du successeur et de la coprimarit\u00e9 des entiers naturels est ind\u00e9cidable. Le pr\u00e9dicat de primarit\u00e9 est d\u00e9finissable dans le langage de cette th\u00e9orie. Comptes Rendus de l'Acad\u00e9mie des Sciences. S\u00e9rie I: Math\u00e9matique, Vol. 294 (1982), 143--146.","journal-title":"S\u00e9rie I: Math\u00e9matique"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274815"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266510"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1090\/s0002-9947-1984-0742421-9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.32603\/2071-2340-2018-6-5-15"},{"key":"e_1_3_2_1_20_1","first-page":"3","article-title":"A Proof of Bel'tyukov,--,Lipshitz Theorem by quasi-Quantifier Elimination I. Definitions and GCD-Lemma","volume":"54","author":"Starchak Mikhail R.","year":"2021","unstructured":"Mikhail R. Starchak. 2021. A Proof of Bel'tyukov,--,Lipshitz Theorem by quasi-Quantifier Elimination I. Definitions and GCD-Lemma. Vestnik St.Petersb. Univ. Math., Vol. 54, 3 (July 2021). To appear.","journal-title":"Vestnik St.Petersb. Univ. Math."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0303"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1090\/s0002-9939-1978-0500555-0"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/s0747-7171(88)80003-8"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309888"}],"event":{"name":"ISSAC '21: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Virtual Event Russian Federation","acronym":"ISSAC '21"},"container-title":["Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465515","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3452143.3465515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:48:07Z","timestamp":1750193287000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3452143.3465515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,18]]},"references-count":25,"alternative-id":["10.1145\/3452143.3465515","10.1145\/3452143"],"URL":"https:\/\/doi.org\/10.1145\/3452143.3465515","relation":{},"subject":[],"published":{"date-parts":[[2021,7,18]]},"assertion":[{"value":"2021-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}