{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T22:44:54Z","timestamp":1725921894867},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720555"},{"type":"electronic","value":"9783319720562"}],"license":[{"start":{"date-parts":[[2017,11,28]],"date-time":"2017-11-28T00:00:00Z","timestamp":1511827200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-72056-2_22","type":"book-chapter","created":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:33:31Z","timestamp":1511775211000},"page":"354-367","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interpretations of Presburger Arithmetic in Itself"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Zapryagaev","sequence":"first","affiliation":[]},{"given":"Fedor","family":"Pakhomov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,28]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Apelt, H.: Axiomatische Untersuchungen \u00fcber einige mit der Presburgerschen Arithmetik verwandte Systeme. MLQ Math. Log. Q. 12(1), 131\u2013168 (1966)","DOI":"10.1002\/malq.19660120111"},{"issue":"3","key":"22_CR2","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1016\/0022-0000(90)90022-D","volume":"41","author":"D Barrington","year":"1990","unstructured":"Barrington, D., Immerman, N., Straubing, H.: On uniformity within NC1. J. Comput. System Sci. 41(3), 274\u2013306 (1990)","journal-title":"J. Comput. System Sci."},{"issue":"2","key":"22_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1215\/S0012-7094-64-03132-1","volume":"31","author":"GR Blakley","year":"1964","unstructured":"Blakley, G.R.: Combinatorial remarks on partitions of a multipartite number. Duke Math. J. 31(2), 335\u2013340 (1964)","journal-title":"Duke Math. J."},{"issue":"2","key":"22_CR4","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1966.16.285","volume":"16","author":"S Ginsburg","year":"1966","unstructured":"Ginsburg, S., Spanier, E.: Semigroups, Presburger formulas, and languages. Pacific J. Math. 16(2), 285\u2013296 (1966)","journal-title":"Pacific J. Math."},{"key":"22_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-22156-3","volume-title":"Metamathematics of First-Order Arithmatic","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek, P., Pudl\u00e1k, P.: Metamathematics of First-Order Arithmatic. Springer, New York (1993)"},{"key":"22_CR6","first-page":"280","volume":"58","author":"R Fueter","year":"1923","unstructured":"Fueter, R., P\u00f3lya, G.: Rationale Abzhlung der Gitterpunkte, Vierteljschr. Naturforsch. Ges. Zrich 58, 280\u2013386 (1923)","journal-title":"Naturforsch. Ges. Zrich"},{"issue":"4","key":"22_CR7","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/BF01451165","volume":"65","author":"F Hausdorff","year":"1908","unstructured":"Hausdorff, F.: Grundz\u00fcge einer Theorie der geordneten Mengen. Math. Ann. 65(4), 435\u2013505 (1908)","journal-title":"Math. Ann."},{"key":"22_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory, vol. 42. Cambridge University Press, Cambridge (1993)"},{"issue":"2","key":"22_CR9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0022-0000(69)80014-0","volume":"3","author":"R Ito","year":"1969","unstructured":"Ito, R.: Every semilinear set is a finite union of disjoint linear sets. J. Comput. Syst. Sci. 3(2), 221\u2013231 (1969)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"22_CR10","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/1094622.1094625","volume":"6","author":"B Khoussainov","year":"2005","unstructured":"Khoussainov, B., Rubin, S., Stephan, F.: Automatic linear orders and trees. ACM Trans. Comput. Log. 6(4), 675\u2013700 (2005)","journal-title":"ACM Trans. Comput. Log."},{"issue":"10","key":"22_CR11","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.4169\/amer.math.monthly.123.10.1001","volume":"123","author":"MB Nathanson","year":"2016","unstructured":"Nathanson, M.B.: Cantor polynomials and the Fueter-P\u00f3lya theorem. Am. Math. Monthly 123(10), 1001\u20131012 (2016)","journal-title":"Am. Math. Monthly"},{"key":"22_CR12","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Undecidable Theories","author":"A Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable Theories. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1953)"},{"key":"22_CR13","unstructured":"Presburger, M.: \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. Comptes Rendus du I congr\u00e8s de Math\u00e9maticiens des Pays Slaves 92101 (1929). English translation in [16]"},{"key":"22_CR14","volume-title":"Linear Orderings","author":"J Rosenstein","year":"1982","unstructured":"Rosenstein, J.: Linear Orderings, vol. 98. Academic Press, New York (1982)"},{"issue":"3","key":"22_CR15","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1145\/1071596.1071602","volume":"6","author":"N Schweikardt","year":"2005","unstructured":"Schweikardt, N.: Arithmetic, first-order logic, and counting quantifiers. ACM Trans. Comput. Log. 6(3), 634\u2013671 (2005)","journal-title":"ACM Trans. Comput. Log."},{"key":"22_CR16","unstructured":"Stansifer, R.: Presburger\u2019s Article on Integer Arithmetic: Remarks and Translation (Technical report). Cornell University (1984)"},{"issue":"2","key":"22_CR17","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1016\/0097-3165(95)90067-5","volume":"72","author":"B Sturmfels","year":"1995","unstructured":"Sturmfels, B.: On vector partition functions. J. Combin. Theory Ser. A 72(2), 302\u2013309 (1995)","journal-title":"J. Combin. Theory Ser. A"},{"key":"22_CR18","unstructured":"Visser, A.: An overview of interpretability logic. In: Kracht, M., de Rijke, M., Wansing, H., Zakharyaschev, M. (eds.) Advances in Modal Logic. CSLI Lecture Notes, vol. 87, pp. 307\u2013359 (1998)"},{"key":"22_CR19","unstructured":"Zoethout, J.: Interpretations in Presburger Arithmetic. BS thesis. Utrecht University (2015)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72056-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,27]],"date-time":"2017-11-27T09:40:12Z","timestamp":1511775612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72056-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,28]]},"ISBN":["9783319720555","9783319720562"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72056-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017,11,28]]}}}