Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Kovalyov, Konstantin"'
Autor:
Kovalyov, Konstantin
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 $V_p(a) = p^k$ such that $p^k | a$ and $p^{k + 1} \nmid a$.
Externí odkaz:
http://arxiv.org/abs/2411.03043
Autor:
Kovalyov, Konstantin
In 1964 Shepherdson proved the following fact: a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (open, or quantifier free, induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the quotient
Externí odkaz:
http://arxiv.org/abs/2306.02012
Autor:
Kovalyov, Konstantin
In this paper we consider some fragments of $\mathsf{IOpen}$ (Robinson arithmetic $\mathsf Q$ with induction for quantifier-free formulas) proposed by Harvey Friedman and answer some questions he asked about these theories. We prove that $\mathsf{I(l
Externí odkaz:
http://arxiv.org/abs/2304.00282
Autor:
Kovalyov, Konstantin
Publikováno v:
Archive for Mathematical Logic; Nov2024, Vol. 63 Issue 7/8, p969-986, 18p
