非良基集合相关论文
在20世纪70年代前后，互模拟理论在许多领域被独立建立。自从范本特姆刻画定理问世之后，互模拟被广泛地运用于模态逻辑的研究中;在集......
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带.可在扩展模态逻辑中证明一些结果,然后通过互模拟运用......
在ZFC-（AFA）系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决......
课堂教学是学生获得知识的主阵地，处在民族地区的新建本科地方院校学生学习的主动性、积极性、学习方法、提出问题、解决问题都存在......
近年来，随着科学的发展人们发现循环现象无处不在，它的研究越来越受到人们的关注。为了对各种循环现象做出解释，集合论的研究从良基集......
为了探索Kdpke模型、非良基集合和知识结构之间的联系，引入了有界互模拟的概念。首先，在Kripke模型上定义了互模拟与有界互模拟，并给......
正则互模拟是非良基公理和非良基集合论形成的基础,基于正则互模拟形成了一簇非良基公理。定义了三种正则互模拟≌*、≌t和≡V0,由......
近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理......
引入非良基集合可以为模态逻辑提供一种新的语义学。这种语义是在集合上解释模态语言，使用集合中作为元素的集合之间的属于关系解释......
互模拟是连接模态逻辑、计算机科学和集合论领域中许多重要理论的桥梁和纽带。可在扩展模态逻辑中证明一些结果,然后通过互模拟运......
在策梅洛-弗兰克尔的集合论公理系统ZF中,基础公理把集合的论域限制到良基集合。因此,不存在属于关系的无穷降链,也不存在属于自身......
