非良基集合的域和分类  

The Non-Well-Founded Sets and Classification of Non-Well-Founded Sets

作　　者：姚从军[1,2] 

机构地区：[1]湖南科技学院思政部 [2]中国社科院哲学所

出　　处：《逻辑学研究》2014年第2期39-61,共23页Studies in Logic

基　　金：2012年国家社科基金项目(互模拟理论的逻辑研究)(12BZX060)的研究成果之一

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

关 键 词：正则互摸拟 非良基公理 非良基集合的域 非良基集合的分类 

分 类 号：B81-0[哲学宗教—逻辑学]