1 paper · 2 filters
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…