互模拟——检验集合相等的一个新工具

下载PDF

导出

摘要在ZFC-(AFA)系统中,外延公理不可强大得足以判断两个非良基集合是否相等。因此随着研究范围的扩大,需要新的理论解决新问题。为解决非良基集合相等问题,文章介绍了四个方法:图理论方法、互模拟方法、游戏方法和方程法,这几种方法最后都可以归结为互模拟方法。故互模拟是检验集合相等强有力的工具。

作者姚从军

机构地区湖南科技学院思想政治理论课教学科研部

出处《湖南科技学院学报》 2011年第3期88-89,共2页 Journal of Hunan University of Science and Engineering

关键词外延公理非良基集合可及点图互模拟游戏解引理

参考文献5

1Davide Sangiorgi.On the origins of Bisimulation,Coinduction,and Fixed Points[J].Tcchnical Report UBLCS-2007-24, October 2007.
2Jelle Gerbrand. Bisimulations on Planet. Kripke[D].PhD thesis ,insititute for logic,Language and Computation. University of Amsterdam, 1998:5-6.
3P.Aczel.Non-Well-Founded Sets[M].Stanford: CSLI,1988: 20-26.
4Van Benthem Modal logic for open minds[M].Stanford: CSLI Publications, 2005:30-34.
5J. Barwise, L. Moss. Vicious Circles: On the Mathematics of Non - Well -Founded Phenomena[M]. Stanford: CSLI, 1996: 77-83.

湖南科技学院学报

2011年第3期

内容加载中请稍等...