非良基公理的本质及其应用

发布时间：2017-09-25 01:00

  本文关键词：非良基公理的本质及其应用

  更多相关文章： 非良基公理 精确图 FAFA AFA SAFA

【摘要】：精确图就是具有单射装饰的可达点图。非良基公理可以归结到对精确图外延的确定上。不同的非良基公理对应了不同种类的精确图,进而形成不同的非良基集合论。尽管近些年来AFA吸引了众多人的注意力,但是巴威斯(Barwise)和莫斯(Moss)在证明AFA(每个图有唯一装饰)的合理性和方程解的唯一性中有乞题之嫌;使用AFA处理自指悖论也过于勉强。相比较而言,FAFA是最自然的非良基集合论系统。
【作者单位】： 湖南科技学院思政部;
【关键词】： 非良基公理 精确图 FAFA AFA SAFA
【基金】：国家社会科学基金资助项目:12BZX060
【分类号】：B81-0
【正文快照】： 一、图、装饰及精确图埃泽尔(Aczel)方法的基本思想是使用有向图描述集合。一个图由一个结点集和一个边集组成,每一条边都是一个由结点组成的序对n,n′。如果n,n′是一条边,那么我们写成n→n′。一条路径是一个由n0,n1,n1,n2,……连接的有穷或无穷序列n0→n1→n2…;

【相似文献】

中国期刊全文数据库 前10条

1 李娜;史t，

本文编号：914445