本文介绍正则互模拟理论并比较了正则互模拟的外延性大小,通过对非良基公理之间不相容的条件的讨论,我们进一步比较了由正则互模拟决定的非良基集合域的大小,最后对非良基集合论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.
展开▼