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

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://tongren.me),接着再看更方便。

相关小说

异常小说 连载中
异常小说
0CDE
!!!!!!!!!!!
0.1万字9个月前
白玫瑰or红玫瑰 连载中
白玫瑰or红玫瑰
星坠锦落
一朵玫瑰正马不停蹄地成为另一朵玫瑰。你是云是海是忘却,你也是你曾经失去的每一个你。
0.5万字8个月前
系统逼我做魔界圣女 连载中
系统逼我做魔界圣女
沄诚
讲绍一女子,穿进魔界,但依然保护人类世界,得到七个神石,成为圣女
0.8万字8个月前
啵叽小铺:壁纸哟 连载中
啵叽小铺:壁纸哟
公元前1110
喜欢存图片壁纸,手机装不下了,发出来分享下,各位有看上眼的随便抱。ps:都是在网上下载的,如果涉及版权问题,请通知下,我好删。
0.1万字8个月前
穿书后我靠玄学走上人生巅峰 连载中
穿书后我靠玄学走上人生巅峰
水上开花
一个玄学弟子大晚上的吐槽一个玄幻文,然后…穿进去了。穿成了一只长得难看,羽毛稀少的鸟?于是…她每天对着自家的铜镜问:魔镜魔镜,告诉我,谁才是......
11.8万字8个月前
窥世 连载中
窥世
蓝桉349
(暂时停更)
5.8万字8个月前