Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2411.03043 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910685674340352 |
|---|---|
| author | Kovalyov, Konstantin |
| author_facet | Kovalyov, Konstantin |
| contents | 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$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_03043 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Axiomatization of Büchi arithmetic Kovalyov, Konstantin Logic 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$. |
| title | Axiomatization of Büchi arithmetic |
| topic | Logic |
| url | https://arxiv.org/abs/2411.03043 |