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

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

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

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

相关小说

外星少女在民国 连载中
外星少女在民国
忆轩孤梦
[这一本我更新的非常慢,原因是在于想完结其他本,然后再更新这个。先看其他的哦]【一本男女都可以看的小说】她是银河深处的紫幽星少女,身怀魔力。......
4.5万字9个月前
江怀南岸 连载中
江怀南岸
湫已
他可不是什么救赎,是一个实实在在的深渊,而我,困于深渊,早已见不到阳光后来我在废墟里竟然看见,那处死掉的玫瑰花圃又重新发了芽,我才明白,那是......
1.5万字9个月前
(科幻万人迷)渣女改造系统 连载中
(科幻万人迷)渣女改造系统
吃人不放盐23
—这是一个社会潜在型人渣,被一个莫名奇妙的系统培养成社会栋梁最后成神的故事—林一览一直都知道自己不是个好东西,但从来没有想过,自己会因为渣得......
1.7万字8个月前
雾灵念学院 连载中
雾灵念学院
雪酷
全职猎人的现象系番外,没有特定的主角
1.3万字8个月前
重生之顶尖修真者 连载中
重生之顶尖修真者
一夜长雨
重生女x狼狗男甄秋重生到修真世界,在这个过程中与陌桦相遇,二人从互相试探到真心相待,甄秋一边在修真世界努力升级,一边应对各种阴谋诡计,最终成......
1.3万字5个月前
墨色轩:以命换天机 连载中
墨色轩:以命换天机
狸晟
深夜的旧城区街道空无一人,我因妹妹失踪多日绝望徘徊,当时钟敲响十下,街角突然浮现一座挂着紫色灯笼的阴森小楼,雕花木门无声开启,穿紫裙黑袍的女......
1.4万字2个月前