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

作者：姚从军

来源：湖南科技大学学报(社会科学版), 2014, 17(01): 33-40.

DOI：10.13582/j.cnki.1672-7835.2014.01.010

• 正则互摸拟
• 非良基公理
• 非良基集合

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

• 单位
  湖南科技学院; 中国社会科学院哲学研究所