论集合论的模型

摘要：

本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论.该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处理相等关系=,以便它能够满足莱布尼兹公理.此外,本文构造的广义代数值模型具有一定的可推广性.

关键词：集合论的模型、独立性、布尔值、拓扑斯、弗协调集合论

所属期刊栏目：12

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金重点项目"基于哲学逻辑的集合论研究"16AZD036

在线出版日期：2019-05-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共21页

页码：49-69