On Non-Standard Models of Büchi Arithmetics
Alexander Zapryagaev · arXiv (Cornell University) · 2023
Büchi arithmetics $\mathop{\mathbf{BA}} olimits_n$, $n\ge 2$, are extensions of Presburger arithmetic with an unary functional symbol $V_n(x)$ denoting the largest power of $n$ that divides $x$. We explore the structure of non-standard models of Büchi arithmetics and construct an example of a countable non-standard model of $\mathop{\mathbf{BA}} olimits_2$.