马赫罗基数
与不可达基数联系最为密切的基数
马洛基数(Mahlo cardinals)是与不可达基数联系最为密切的一类大基数。若K是弱(或强)不可达基数,且小于K的所有正则基数的无界闭集是K的驻子集,则称K是弱(或强)马洛基数。一般情况下马洛基数指强马洛基数。早在1911年至1913年,马洛(Mahlo)就研究了现今称为弱马洛基数的一类基数。
定义
为弱(或强)马洛基数的充分必要条件是: 小于的弱(或强)不可达基数的无界闭集是的驻子集。弱(或强)马洛基数一定是弱(或强)不可达基数;但不可达基数不一定是马洛基数。
证明
若是马洛基数,则必是第个不可达基数。亦即,若设点是不可达基数类的排序函数,则马洛基数是函数的不动点 反之则不对,即若点 不一定是马洛基数.而且,满足点的最小基数一定不是马洛基数。
ZFC系统
所以在ZFC系统中,要想通过集论运算从不可达基数构造出马洛基数,与从ZFC系统中已有的基数构造出不可达基数同样是不可能的。
参考资料
最新修订时间:2022-06-11 12:11
目录
概述
定义
证明
ZFC系统
参考资料