拓扑斯

作品数：2被引量：2H指数：1
导出分析报告
相关领域：理学更多>>
相关作者：李娜更多>>
相关机构：南开大学汕头大学更多>>
相关期刊：《逻辑学研究》更多>>
相关基金：国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=逻辑学研究x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论集合论的模型被引量：2
《逻辑学研究》2019年第1期49-69,共21页李娜 何建锋 
国家社科基金重点项目"基于哲学逻辑的集合论研究"(16AZD036)
本文讨论了ZF的经典模型和非经典模型,梳理了它们的最新动态,并且将ZF的广义代数值模型推广到基于形式不一致逻辑的弗协调集合论。该推广过程的关键在于解决两个问题:第一,这类弗协调集合论是否包含不是一致的集合;第二,在模型中如何处...
关键词：集合论的模型 独立性 布尔值 拓扑斯 弗协调集合论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部