数学联邦政治世界观
超小超大

ZFC的传递模型M和N若有相同的序数子类,那么M=N

证明:定义 Mα={x∈M:x∈Vα} ,不难看出 Mα 是传递集。由于 M 是 ZFC 传递模型,因此存在序数 β 满足 (β,E)≅(Mα,∈) ,其中 E 是 β 上的二元关系。下面定义配对函数 Γ(α,β) : Γ(α,β):Ord² → Ord 且满足 Γ(x,y)<Γ(α,b) 当且仅当 x,y 的最大值小于 α,b 的最大值、如果最大值相等那么比较 x 和 α 、如果最大值相等且 x=α 那么 y<b ;换言之,先比最大值、再比第一个分量、最后比第二个分量。由于配对函数是可定义的,因此 Γ[E]⊂Ord∧Γ[E]∈M 。由于 M 和 N 有相同的序数子类,因此 Γ[E]∈N ,这样二元关系 E 也属于 N 。根据莫斯托夫斯基坍缩定理可得 Mα∈N ,这样 M 是 N 的子集,反过来 N 也是 M 的子集,因此定理成立。

推论:假设 M,N 是 ZFC 的内模型,且 M,N 有相同的有界序数子集,那么 M=N 。

证明:考虑到 Mα 对应的序数子集必然有界,那么根据定理可得推论成立。

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

昼夜交替永不更迭 连载中
昼夜交替永不更迭
我爱五星红旗
玛琳·布莱克(阿尔法德·布莱克和某个不知名的美国麻瓜的女儿)平凡但并非没有波澜的一生。她是伊法摩尼的优秀学子,也是令联合国最头疼的员工,更是......
4.3万字5个月前
魔匙(不是也没有重名的书啊?!) 连载中
魔匙(不是也没有重名的书啊?!)
作者希岚
这是一个多元化的世界,除了人类,普通的动物,还有异兽,异族。这个世界上存在着一种宝物,名为魔匙,可由于力量太强而分散成八块碎片分别由八大族族......
2.1万字5个月前
万人迷她又被强取豪夺了 连载中
万人迷她又被强取豪夺了
李朵儿
【女主万人迷】+【众多修罗场】+【男神收割机】+【颜值巅峰】+【娇软美人】+【可甜可盐】+【强取豪夺】+【玛丽苏】+【绿茶美人】花琉璃只想完......
69.3万字5个月前
云与夜 连载中
云与夜
琪琪拉
哎嘿!甜甜甜!轻微ABO
2.3万字5个月前
原创:失忆女主竟是团宠 连载中
原创:失忆女主竟是团宠
喑滟
“小念!等我!”“小念!”“小念。”“小念,让我们来保护你!”原创女主,非小说运载。小学生文笔,不喜勿喷。《缘与空》粉,请别在意封面(因为作......
1.6万字2个月前
异世旅行进行时 连载中
异世旅行进行时
破晓之泪
(封面用的是繁体字)全员恶人!×3有绿茶!×3主人物:(名字见书本)❤️在一场实验中,由于科研人员的失误,导致新研发的新型病毒扩散。动物们开......
0.7万字1个月前