10.3969/j.issn.1674-8425(s).2018.11.002
真在非标准算术模型中的不可定义性
证明全满足类、归纳部分满足类和归纳T-集合在可数非标准模型上的存在性与这个模型的递归饱和性等价.在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算术模型上都是不可定义的.讨论这些不可定义集的相对可定义性,证明在通过科恩脱殊集得到的算术模型的扩张上不存在可定义的归纳部分满足类.
数理逻辑、非标准算术模型、真语句集、满足类、T-集合、递归饱和性、不可定义性
32
B81(逻辑学(论理学))
2019-01-22(万方平台首次上网日期,不代表论文的发表时间)
共9页
13-21