Büchi arithmetic of base k is the first-order theory of the natural numbers with addition and the function which is defined as the bigger power of k dividing x, named in honor of the Swiss mathematician Julius Richard Büchi.
Emotional Arithmetic | Arithmetic | Arithmetic mean | Modular arithmetic | Robinson arithmetic | Reading, Writing, and Arithmetic | Fixed-point arithmetic | Dirichlet's theorem on arithmetic progressions | arithmetic mean | Arithmetic for Parents | reading, writing, and arithmetic | Raphael Robinson's Arithmetic | Julius Richard Büchi | Hernán Büchi | Glossary of arithmetic and Diophantine geometry | Arithmetic (song) | Arithmetic progression | Arithmetic function |