非良基公理和非良基集合论的域

发布时间：2018-03-14 04:41

  本文选题：正则互摸拟　切入点：非良基公理　出处：《湖南科技大学学报(社会科学版)》2014年01期 　论文类型：期刊论文

【摘要】：正则互模拟是非良基公理和非良基集合论形成的基础,基于正则互模拟形成了一簇非良基公理。定义了三种正则互模拟≌*、≌t和≡V0,由它们生成的非良基公理AFA≌*、AFA≌t和AFA≡V0与经典的非良基公理FAFA、SAFA和AFA分别等价;非良基公理FAFA和AFA位于非良基公理簇的两端,SAFA处于FAFA和AFA之间;非良基公理FAFA、SAFA和AFA两两不相容;与非良基公理FAFA、SAFA、AFA相对应的外延力依次增强,而相对应的非良基集合论的域依次缩小。
[Abstract]:The basis of the formation of the axiom of the non-good basis and the theory of the non-good basis set of the regular mutual simulation, Based on the canonical mutual simulation, a family of non-good base axioms is formed, and three kinds of canonical cross-simulation axioms are defined. The AFA axioms, which are generated by them, are equivalent to the classical non-good base axioms FAFASAFA and AFA, respectively, and to the classical non-good basis axioms FAFASAFA and AFA, respectively. FAFA and AFA are located between FAFA and AFA at the two ends of the non-good axiom cluster, and they are incompatible with AFA, and the epitaxial force corresponding to the non-good axiom FAFAFASAFA is increased in turn. However, the corresponding domain of non-good basis set theory shrinks in turn.
【作者单位】： 湖南科技学院思政部;中国社会科学院哲学所;
【基金】：国家社科基金项目(12BZX060)
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 姚从军;;非良基公理的本质及其应用[J];湖北大学学报(哲学社会科学版);2012年05期

【相似文献】

相关期刊论文 前10条

1 姚从军;;互模拟——检验集合相等的一个新工具[J];湖南科技学院学报;2011年03期

2 李娜;姚从军;;互模拟理论的逻辑研究述评[J];哲学动态;2010年04期

3 李娜;姚从军;;互模拟的一些基本性质[J];云南师范大学学报(哲学社会科学版);2010年05期

4 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期

5 史t，

本文编号：1609654