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

稳定性理论的一个引理

以下均假设 T 是可数语言的完备理论。

稳定理论:设 κ 为无穷基数。称 T 是 κ 稳定理论, 如果对任意 𝕸 ⊨ T 及任意 A⊆M , |A|≤κ时对于任意 n∈ω 有 |Sᴬₙ(T)|≤κ 。

定理:如果 T 是 ω 稳定理论,那么T 是 κ 稳定理论。

证明:反证法,如果存在模型M⊨T 且存在 A⊆M 满足 |A|≤κ和 |Sₙ(T)|>κ ,由于 |𝕷ᴀ|=κ ,那么存在公式 ψ∈LA满足 |[ψ]|>κ 。

下面求引理:存在公式 ϕ 满足 |[ψ∧ϕ]|>κ 且 |[ψ∧¬ϕ]|>κ ;否则令 Γ={ϕ∈𝕷ᴀ:|[ϕ∧ψ]|>κ} ,那么有ϕ∈Γ∨¬ϕ∈Γ ,即 Γ 是极大一致公式集。假设 Γ 对有限交封闭,那么公式集 Γ∪Th(𝕸ᴀ) 是一致的,因此 Γ∈Sᴬₙ(T) 。由于 [ψ]={Γ}∪⋃φ∉Γ[ψ∧φ] ,那么 |[ψ]|=κ ,矛盾,反证 Γ 对有限交不封闭。因此存在公式 ϕ₁,⋯,ϕn∈Γ 且 ψ∧ϕ₁∧⋯∧ϕₙ ∉Γ ,因此有 |[ψ∧¬ϕᵢ]|>κ 。

根据引理,我们可以得到一个递归序列:由于 |[ψ∧ϕ]|>κ 和 |[ψ∧¬ϕ]|>κ |[ψ∧¬ϕ∧φ]|>κ ,那么存在公式 χ 和 φ 满足 |[ψ∧ϕ∧χ]|>κ 和 |[ψ∧ϕ∧¬χ]|>κ , |[ψ∧¬ϕ∧¬φ]|>κ ,由此可得无穷二叉树。二叉树上所有公式的枚举为 ϕ,¬ϕ,χ,¬χ,⋯ ,即二叉树上只出现可数个公式,令 A′={α∈A:∃σ,α在σ中出现} ,可得 |A′|=ω ,但 |Sᴬ′ₙ(T)|=2ω ,这与 T 是 ω 稳定理论矛盾,反证定理成立。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

玉君歌 连载中
玉君歌
初梦秋意殇
21世纪佣兵女王红叶穿越到天灵大陆,却遭人陷害,意外横死。好在上天给了她一次机会,让她重新来过,这一次她不会再手软了。但这个男人是什么情况?......
40.1万字4个月前
成龙历险记之小玉重生 连载中
成龙历险记之小玉重生
荒古之界暗影之王
写西玉的,剧情会有一些改变。
0.5万字4个月前
北潮默萧,南汐寒笙 连载中
北潮默萧,南汐寒笙
箔歌.
她本是九州大陆守护南方的朱雀神,碧血丹心,深受爱戴,何其风光!谁料祭祀大典之上料被自己掏心掏肺对待几万年的人竟反过来捅自己一刀,又是何等心凉......
18.1万字4个月前
执子手伴一生 连载中
执子手伴一生
殇ベ瞳荧
这本书是我和九幽V一起写的,由我来更新。男主韵是天帝第一废子,神龙绝脉,但却不知他后来不再是废子,天界众神官都知道韵只是天帝收养的义子,和天......
11.3万字4个月前
叶罗丽精灵梦之水冰的爱恋 连载中
叶罗丽精灵梦之水冰的爱恋
灵莹冰雪
灵莹冰雪
1.0万字4个月前
混沌女帝 连载中
混沌女帝
双叶瓜子
  她的重生应验了一个传说,这是一个似咒语般的预言,重生者则为天道女帝,女帝出,杀戮起,血腥蔓。  一白衣男子,站在雪峰之巅那个背影是遗世的......
8.4万字4个月前