| 非良基集合的域和分类 |
| |
| 引用本文： | 姚从军.非良基集合的域和分类[J].逻辑学研究,2014(2):39-61. |
| |
| 作者姓名： | 姚从军 |
| |
| 作者单位： | [1]湖南科技学院思政部 [2]中国社科院哲学所 |
| |
| 基金项目： | 2012年国家社科基金项目（互模拟理论的逻辑研究）（12BZX060）的研究成果之一. |
| |
| 摘 要： | 本文介绍正则互模拟理论并比较了正则互模拟的外延性大小,通过对非良基公理之间不相容的条件的讨论,我们进一步比较了由正则互模拟决定的非良基集合域的大小,最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。
|
| 关 键 词： | 正则互摸拟 非良基公理 非良基集合的域 非良基集合的分类 |
The Non-Well-Founded Sets and Classification of Non-Well-Founded Sets |
| |
| Congjun Yao.The Non-Well-Founded Sets and Classification of Non-Well-Founded Sets[J].Studies in Logic,2014(2):39-61. |
| |
| Authors: | Congjun Yao |
| |
| Institution: | Congjun Yao (Department of Politics, Hunan University of Science and Engineering Department of Philosophy, Chinese Academy of Social Sciences) |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
