Multi-dimensional Interpretations of Presburger Arithmetic in Itself

DOI10.1093/logcom/exaa050OpenAlexW3088444784MaRDI QIDQ5140331

Alexander Zapryagaev, Fedor N. Pakhomov

Publication date: 15 December 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.03404

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Friedman-reflexivity ⋮ On interpretations of Presburger arithmetic in Büchi arithmetics

This page was built for publication: Multi-dimensional Interpretations of Presburger Arithmetic in Itself