重庆理工大学学报(社会科学)

文章详情

稿件标题: 真在非标准算术模型中的不可定义性
稿件作者: 高 珂
关键字词: 数理逻辑;非标准算术模型;真语句集;满足类;T集合;递归饱和性;不可定义性
文章摘要: 证明全满足类、归纳部分满足类和归纳 T集合在可数非标准模型上的存在性与这个模型的递 归饱和性等价。 在此基础上,推广塔斯基的不可定义性结果,证明上述集合在可数的非标准算术模型上 都是不可定义的。 讨论这些不可定义集的相对可定义性,证明在通过科恩脱殊集得到的算术模型的扩张 上不存在可定义的归纳部分满足类。
收录刊物: 2018年32卷第11期
栏目名称: 逻辑与科学方法论
稿件基金:
引用本文格式: 高珂. 真在非标准算术模型中的不可定义性[J]. 重庆理工大学学报(社会科学),2018(11):13 - 21.
浏览次数: 12
下载次数: 4
点击下载