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

摘要：

正则互模拟是非良基公理和非良基集合论形成的基础,基于正则互模拟形成了一簇非良基公理.定义了三种正则互模拟≌*、≌t和≡V0,由它们生成的非良基公理AFA≌"、AFA≌1和AFA≡V0与经典的非良基公理FAFA、SAFA和AFA分别等价;非良基公理FAFA和AFA位于非良基公理簇的两端,SAFA处于FAFA和AFA之间;非良基公理FAFA、SAFA和AFA两两不相容;与非良基公理FAFA、SAFA、AFA相对应的外延力依次增强,而相对应的非良基集合论的域依次缩小.

关键词：正则互摸拟、非良基公理、非良基集合

所属期刊栏目：17

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

资助基金：国家社科基金项目12BZX060

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

页数：共8页

页码：33-40