$mathsf{IOpen}$的片段
摘要：关于一些$mathsf{IOpen}$的片段的讨论（提出了由Harvey Friedman提出的对量词自由公式的归纳进行Robinson算术$mathsf Q$），并回答了他提出的这些理论的一些问题。我们证明了$mathsf{I(lit)}$等价于$mathsf{IOpen}$并且在$mathsf Q$上不能被有限公理化，建立了$mathsf{I(=)}, mathsf{I( e)}, mathsf{I(leqslant)}$ 和 $mathsf{I}(leq)$之间的一些包含关系。我们还证明了模型中可以解决的数论方程集（在$mathsf I(=)$中）是（算法上）可判定的。
作者：Konstantin Kovalyov
论文ID：2304.00282
分类：Logic
分类简称：math.LO
提交时间：2023-06-21