Axiomatization of B\"uchi arithmetic
Logic
2024-11-06 v1
Abstract
In this paper we introduce an axiomatization of B\"uchi arithmetic, i.e., of the elementary theory of natural numbers in the language with addition and function such that and .
Cite
@article{arxiv.2411.03043,
title = {Axiomatization of B\"uchi arithmetic},
author = {Konstantin Kovalyov},
journal= {arXiv preprint arXiv:2411.03043},
year = {2024}
}