Fedor Pakhomov, Alexander Zapryagaev, “Multi-dimensional Interpretations of Presburger Arithmetic in Itself”, J. Logic Comput., 2020, Volume 30, Issue 8,Pages <nobr>1681–1693</nobr>

RUS ENG

JOURNALS // Journal of Logic and Computation // Archive

J. Logic Comput., 2020, Volume 30, Issue 8, Pages 1681–1693 (Mi jlc3)

This article is cited in 3 papers

Multi-dimensional Interpretations of Presburger Arithmetic in Itself

Fedor Pakhomov^ab, Alexander Zapryagaev^c

^a Institute of Mathematics of the Czech Academy of Sciences, Žitná 25, 115 67, Praha 1, Czech Republic
^b Steklov Mathematical Institute of Russian Academy of Sciences, 8, Gubkina Str., Moscow, 119991, Russian Federation
^c National Research University Higher School of Economics, 6, Usacheva Str., Moscow, 119048, Russian Federation

Received: 21.01.2020

Language: English

DOI: 10.1093/logcom/exaa050

Cited by

Bibliographic databases:

ArXiv: 2004.03404

© Steklov Math. Inst. of RAS, 2024