1 paper · 1 filter
Konstantin Kovalyov
In this paper we introduce an axiomatization of Büchi arithmetic, i.e., of the elementary theory of natural numbers in the language with addition and function Vp(a)=pk such t…