摘要
本文介绍正则互模拟理论并比较了正则互模拟的外延性大小,通过对非良基公理之间不相容的条件的讨论,我们进一步比较了由正则互模拟决定的非良基集合域的大小,最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。
This paper firstly introduces the basic theory of regular bisimulation and compares the extensions of some regular bisimulations. Secondly, through the discussion of the incompatible condition between non-well-founded axioms, we further compare with the domains of non-well-founded set theories determined by regular bisimulations. Finally we give the classification of the non-well-founded sets in non-well-founded set theories FAFA, SAFA , AFA.
出处
《逻辑学研究》
CSSCI
2014年第2期39-61,共23页
Studies in Logic
基金
2012年国家社科基金项目(互模拟理论的逻辑研究)(12BZX060)的研究成果之一
