安德烈亚·坎蒂尼 形式真值理论在算术上等价于（ID_1）。 （英语） Zbl 0713.03029号 J.塞姆。日志。 55，No.1，244-259（1990）. 作者提出了Peano算法的部分真值理论VF，并证明了该理论与初等归纳定义理论（ID_1）具有相同的算术定理。VF语言（L_{VF}）由Peano算术语言和一元谓词符号T组成。使用算术函数（后继、加法和乘法）递归定义术语的概念，并使用等式谓词和谓词T作为原子定义公式。其他函数符号用于定义基本递归。由于标准哥德尔编号，在皮亚诺算法的片段中，（L_{VF}）的语法和语义属性可以证明。审核人：N.两者 引用于33文件 MSC公司： 30楼03号 一阶算法和片段 03英尺40英寸 哥德尔数与不完全性问题 关键词：皮亚诺算术的部分真理;基本归纳定义;皮亚诺算法片段;哥德尔编号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini}，J.Symb。日志。55，No.1，244--259（1990；Zbl 0713.03029） 全文： 内政部 参考文献： [1] 《哲学逻辑杂志》13页867页–（1984） [2] Archive für Mathematische Logik und Grundlagenforschung 22第121页–（1982） [3] DOI:10.1016/0168-0072（87）90073-X·Zbl 0634.03058号 ·doi:10.1016/0168-0072（87）90073-X [4] DOI:10.1016/0304-3975（86）90096-4·Zbl 0629.68090号 ·doi:10.1016/0304-3975（86）90096-4 [5] 迭代归纳定义和分析子系统：最近的理论研究897 pp 17–（1981）·Zbl 0489.03022号 [6] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 35第99页–（1989） [7] Atti delconvergno nazionale dilogica第219页–（1982） [8] 真相绝不简单，51页663页–（1986） [9] 允许的集合与结构（1975年） [10] 形式语义学（1971） [11] 属性理论52 pp 455–（1987） [12] 无限论方法第97页–（1961） [13] 数学逻辑手册第867页–（1977） [14] 递归函数和有效可计算性理论（1967）·Zbl 0183.01401号 [15] 内政部：10.1007/BF00305492·Zbl 0629.03002号 ·doi:10.1007/BF00305492 [16] 内政部：10.1016/0004-3702（85）90075-X·Zbl 0581.03005号 ·doi:10.1016/0004-3702（85）90075-X [17] 当代逻辑与科学哲学的主题与视角 [18] 内政部：10.2307/2024634·Zbl 0952.03513号 ·doi:10.2307/2024634 [19] 内政部：10.1007/BF00453021·Zbl 0546.03007号 ·doi:10.1007/BF00453021 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。