On interpretations of Presburger arithmetic in Büchi arithmetics

DOI10.1134/s1064562423700655OpenAlexW4386288123MaRDI QIDQ6095191

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

interpretationsautomatic structuresformal arithmeticsautomatic abelian groups

Mathematics Subject Classification ID

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

Cites Work

• Presburgerness of predicates regular in two number systems
• Logic and \(p\)-recognizable sets of integers
• Undecidable theories
• BREAKING UP FINITE AUTOMATA PRESENTABLE TORSION-FREE ABELIAN GROUPS
• Weak Second‐Order Arithmetic and Finite Automata
• Multi-dimensional Interpretations of Presburger Arithmetic in Itself
• On the base-dependence of sets of numbers recognizable by finite automata

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