10.3969/j.issn.1674-3202.2019.01.005
论集合论的模型
本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论.该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处理相等关系=,以便它能够满足莱布尼兹公理.此外,本文构造的广义代数值模型具有一定的可推广性.
集合论的模型、独立性、布尔值、拓扑斯、弗协调集合论
12
B81(逻辑学(论理学))
国家社科基金重点项目"基于哲学逻辑的集合论研究"16AZD036
2019-05-09(万方平台首次上网日期,不代表论文的发表时间)
共21页
49-69