非良基集合的域和分类

摘要：

本文介绍正则互模拟理论并比较了正则互模拟的外延性大小，通过对非良基公理之间不相容的条件的讨论，我们进一步比较了由正则互模拟决定的非良基集合域的大小，最后对非良基集合论FAFA、SAFA和AFA中的非良基集合进行了分类。

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

分类号：B81(逻辑学(论理学))

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

在线出版日期：2014-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共23页

页码：39-61