CAJ | 학술논문

本文介绍正则互模拟理论并比较了正则互模拟的外延性大小，通过对非良基公理之间不相容的条件的讨论，我们进一步比较了由正则互模拟决定的非良基集合域的大小，最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。
본문개소정칙호모의이론병비교료정칙호모의적외연성대소，통과대비량기공리지간불상용적조건적토론，아문진일보비교료유정칙호모의결정적비량기집합역적대소，최후대비량기집합론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.