On interpretations of Presburger arithmetic in Büchi arithmetics

DOI10.1134/S1064562423700655MaRDI QIDQ6095191zbMATH OpenOpenAlexFDO

Authors A. A. Zapryagaev

Publication date 7 September 2023

Published in Doklady Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1064562423700655

zbMATH Keywords

automatic abelian groupsautomatic structuresformal arithmeticsinterpretations

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computability and recursion theory (03Dxx) Theory of computing (68Qxx)

Recommendations

• Interpretations of Presburger arithmetic in itself
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself
• scientific article; zbMATH DE number 956480
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems
• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable

Cites work

• Breaking up finite automata presentable torsion-free Abelian groups.
• Logic and p-recognizable sets of integers
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself
• On the base-dependence of sets of numbers recognizable by finite automata
• Presburgerness of predicates regular in two number systems
• Undecidable theories
• Weak Second‐Order Arithmetic and Finite Automata

Cited in

(3)

• Interpretations of Presburger arithmetic in itself
• On decidable extensions of Presburger arithmetic: from A. Bertrand numeration sytems to Pisot numbers
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself

This page was built for publication: On interpretations of Presburger arithmetic in Büchi arithmetics

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