A natural axiomatization of Büchi Arithmetic

Konstantin Kovalyov

We investigate Büchi Arithmetic ${\mathsf{BA}}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power o…