Axiomatization of Büchi arithmetic
Abstract
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 $V_p(a) = p^k$ such that $p^k | a$ and $p^{k + 1} \nmid a$.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2024
- DOI:
- 10.48550/arXiv.2411.03043
- arXiv:
- arXiv:2411.03043
- Bibcode:
- 2024arXiv241103043K
- Keywords:
-
- Mathematics - Logic