Multi-dimensional Interpretations of Presburger Arithmetic in Itself

DOI10.1093/LOGCOM/EXAA050OpenAlexW3088444784MaRDI QIDQ5140331FDOQ5140331

Fedor N. Pakhomov, Alexander Zapryagaev

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)

Cited In (3)

• Friedman-reflexivity
• On interpretations of Presburger arithmetic in Büchi arithmetics
• Interpretations of Presburger arithmetic in itself

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5140331)