Multi-dimensional Interpretations of Presburger Arithmetic in Itself

DOI10.1093/LOGCOM/EXAA050MaRDI QIDQ5140331OpenAlexFDO

Authors 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)

Recommendations

• Interpretations of Presburger arithmetic in itself
• On interpretations of Presburger arithmetic in Büchi arithmetics
• The definable criterion for definability in Presburger arithmetic and its applications.
• scientific article; zbMATH DE number 4045724
• scientific article; zbMATH DE number 517075

Cited in

(4)

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

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)