图的典范装饰与方程组的典范解

发布时间：2018-01-22 13:38

  本文关键词： 非良基公理 装饰 解引理 典范装饰 典范解　出处：《逻辑学研究》2012年02期 　论文类型：期刊论文

【摘要】：在集合论ZFC+AFA中,每个图有唯一装饰,每个方程组有唯一解。但是,在集合论ZFC+SAFA和ZFC+FAFA中,每个图并非只有一个装饰,每个方程组并非只有一个解。笔者通过定义互模拟坍塌概念,在可达点图的典范装饰概念的基础上导出方程组的典范解,提出并证明:在上述三种具体的非良基集合论中,每个可达点图都有唯一的典范装饰,每个方程组有唯一的典范解。
[Abstract]:In set theory ZFC AFA, each graph has a unique ornament and each set of equations has a unique solution. However, in set theory ZFC SAFA and ZFC FAFA, each graph is not only decorated. The author defines the concept of mutual simulation collapse and derives the canonical solution of the equations on the basis of the concept of canonical decoration of reachable point graph. It is proposed and proved that each reachable point graph has a unique canonical decoration and each system of equations has a unique canonical solution in the above three kinds of concrete non-good basic set theory.
【作者单位】： 湖南科技学院思政部;中国社会科学院哲学研究所;
【基金】：2012年国家社科基金项目(互模拟理论的逻辑研究)(12BZX060)
【分类号】：B81-0
【正文快照】： 一、AFA解引理1.1AFA集合论在《非良基集合论》中,埃泽尔讨论了三种正则互模拟,由此产生了三种不同的非良基公理:AFA,FAFA,SAFA。因为这三种正则互模拟对满系统是绝对的,可以证明集合论ZFC AFA相对于ZFC是一致的。对于一个给定的正则互模拟,我们用V表示ZFC AFA的域。互模拟对，

本文编号：1454816