Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Alexander Zapryagaev"'
Autor:
Alexander Zapryagaev, Fedor Pakhomov
Presburger Arithmetic is the true theory of natural numbers with addition. We study interpretations of Presburger Arithmetic in itself. The main result of this paper is that all self-interpretations are definably isomorphic to the trivial one. Here w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::391a7059c402a5299475221c6150456e
http://arxiv.org/abs/2004.03404
http://arxiv.org/abs/2004.03404
Autor:
Alexander Zapryagaev, Fedor Pakhomov
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783319720555
LFCS
LFCS
Presburger arithmetic \(\mathop {\mathbf {PrA}}\nolimits \) is the true theory of natural numbers with addition. We study interpretations of \(\mathop {\mathbf {PrA}}\nolimits \) in itself. We prove that all one-dimensional self-interpretations are d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1adac23bf5b696db66601aac56efe8c1
https://doi.org/10.1007/978-3-319-72056-2_22
https://doi.org/10.1007/978-3-319-72056-2_22