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

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

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

定理: 𝕬 是可数完备理论 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),接着再看更方便。

相关小说

重生?迪恩你个老六! 连载中
重生?迪恩你个老六!
罪恶中介阎君
机设,男迪,非拟人动画迪预警!迪恩重生后开始“摆烂”,剧情又会按照怎样的方向发展呢?作者雷迪息!!!
3.0万字5个月前
说出你的故事 连载中
说出你的故事
独向隅
高考毕业后易暮意外参与了剧本杀游戏,为了保证存活努力挣取积分,演绎自己的剧本,最终迎来属于自己的归宿
1.9万字2个月前
清风拂过叶林间 连载中
清风拂过叶林间
怜怜忧郁
四个人一起进入副本,探寻案件。案件一:拼凑娃娃案件二:泥墙母亲案件三:火锅男孩案件四:疯子父亲每一个案件都惊心动魄……“是真实发生的,还是我......
1.8万字2个月前
神界诸多事 连载中
神界诸多事
将军背诗
围绕神界的几位神明而展开的故事,也有其展开的平行世界的故事
3.9万字3周前
都是命运 连载中
都是命运
小悦悦_3544233520332044
花翎作为天界唯一的神明,却踏上了一个又一个的挑战
0.4万字2周前
变成了相方的猫 连载中
变成了相方的猫
高V不会
简介正在更新
29.6万字2天前