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

特殊篇章(数学解释)十六

可数饱和模型=可数广集模型+齐次模型

定理: 𝕬 是可数完备理论 T 的可数饱和模型,当且仅当, 𝕬 是 T 的可数广集模型与齐次模型。

证明:充分性。假设 𝕬 是可数完备理论 T 的可数饱和模型,首先证明可数饱和模型是可数广集模型。令 𝕭 是 T 的模型,求存在 𝕭 到 A 的初等嵌入映射。令 𝕭={bᵢ}ᵢ∈ω ,定义 Γ(x)={ψ(x):𝕭 ⊨ ψ(b₀)} ,由于 𝕬 是可数饱和模型,因此 𝕬 实现 Γ(x) ,不妨设 α₀ 在 𝕬 实现 Γ(x) ,注意此时 (𝕬,α₀)≡(𝕭,b₀) ;继续定义 Γ(x,y)={ψ(x,y):𝕭 ⊨ ψ(b₀,b₁)} ,由于 𝕬 是可数饱和模型,因此 (𝕬,α₀) 实现 Γ(α₀,y) ,不妨设 α₁ 在 (𝕬,α₀) 实现 Γ(α₀,y) ,注意此时 (𝕬,α₀,α₁)≡(𝕭,b₀,b₁) 。递归进行上述过程,可得 (𝕬,αᵢ)ᵢ ∈ω≡(𝕭,bᵢ)ᵢ∈ω ,这就是所求的初等嵌入映射,因此可数饱和模型必然是可数广集模型。

下面证明可数饱和模型是齐次模型。令 f 是从 𝕬 到 𝕬 的部分自同构,设 dom(f)={αᵢ}ᵢ ≤ ₙ ,那么 (𝕬,αᵢ)ᵢ ≤ ₙ ≡(𝕬,f(αᵢ))ᵢ ≤ ₙ ,任选 c∈A−dom(f) ,定义 Γ(x)={ψ(x,α→):𝕬 ⊨ ψ (c,α→)} ,下面求证: Th((𝕬,f(αᵢ))ᵢ ≤ ₙ) 与 Γ(x) 一致。这是因为对于任意ψ∈Th((𝕬,f(αᵢ))ᵢ ≤ ₙ) ,令 ψ′ 是将 ψ 中出现的 f(αᵢ) 全部替换为 αᵢ ,那么 ψ′∈Th((𝕬,αᵢ)ᵢ ≤ ₙ) ,因此存在赋值使得 (𝕬,αᵢ)ᵢ ≤ ₙ 同时满足 Th((𝕬,f(αᵢ))ᵢ ≤ ₙ) 和 Γ(x) ,因此 Th((𝕬,f(αᵢ))ᵢ ≤ ₙ) 与 Γ(x) 一致。

由于 𝕬 是可数饱和模型且Th((𝕬,f(αᵢ))ᵢ ≤ ₙ) 与 Γ(x) 一致,那么 (𝕬,f(αᵢ))ᵢ ≤ ₙ 实现 Γ(x) ,不妨设 d 在 (𝕬,f(αᵢ))ᵢ ≤ ₙ 实现 Γ(x) ,那么 f∪{(c,d)} 也是从 𝕬 到 𝕬 的部分自同构。递归可将 f 从部分自同构扩张为一个自同构。充分性得证。

必要性:假设 𝕬 是 T 的可数广集模型与齐次模型。令 {α₁,⋯,αₙ}=X 是 A 的子集,定义 tpₓ(x) 是 Th((𝕬,αᵢ)ᵢ ≤ ₙ) 的一个型,令 𝕭 实现 tpₓ(x) 且 𝕭 ⊨ tpₓ(b) ,令 αᵢ 在 𝕭 的赋值是 bᵢ 。由于 𝕬 是 T 的可数广集模型,因此令 f:𝕭 → 𝕬 是初等嵌入映射,设 f(bᵢ)=cᵢ 且 f(b)=c ,因此 𝕬 ⊨ tpf[X](c) 。令 g:𝕬→𝕬 ,其中 g(cᵢ)=αᵢ ,不难证明 g 是 𝕬 的部分自同构且 g◦f[X]=X ,根据齐次模型定义可得:存在 d∈A 满足 g∪{(c,d)} 也是 𝕬 的部分自同构,此时有 𝕬 ⊨ tpₓ(d) ,因此 𝕬 是可数饱和模型,定理成立。

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

相关小说

星河为灯 连载中
星河为灯
冥夜90410
姜瑜是惊悚世界无限流副本由怨念产生的章鱼鬼怪,因为年少轻狂,去挑衅劳什子大佬被绑定为宠物带出副本,从此走上打工人的道路,开启了他跌宕起伏(苦......
2.9万字5个月前
快穿之万人嫌炮灰只想躺平 连载中
快穿之万人嫌炮灰只想躺平
邬溪临
简介查看评论区,宝宝们自行查看哦。
2.8万字5个月前
巫女日記 连载中
巫女日記
Sumphote
架空世界,主角安以琪·苏·图兰,一半萨摩一半库兰,讲述其上大学后发生的一系列事情,不断成长,渐渐明白自己意欲何为,想要坚持父母那个梦想——建......
9.0万字4个月前
寂暗梦回 连载中
寂暗梦回
黎池念
你觉得你现在处的世界是真实的,还是在一场游戏中?亲爱的玩家,你不觉得现在的生活太无趣了吗?和我一起来参加这场有趣的游戏吧~
8.6万字3个月前
恐怖副本:她杀穿副本,却无人怪她 连载中
恐怖副本:她杀穿副本,却无人怪她
暖暖的小太阳nndxty
前文:“你好呀”一个十岁的孩子站在那里,人畜无害地跟你说着话,可她的周围,却是鲜血飞溅,尸体在地上横七竖八地躺着,而她站在中间,却好似什么都......
0.7万字2个月前
重生之周目轮回 连载中
重生之周目轮回
灵梦樱_85876833
一觉醒来灵樱雪发现她回到了一切的伊始,她能否成功改变命运呢?而她又是否是真的重生了呢?敬请期待“重生”之周目轮回
14.1万字2个月前