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

可数饱和模型的一个引理

我们称公式 ψ(x→) 是完备理论 T 的完备公式,当且仅当, ψ 与T一致且对于任意与 ψ 含有相同自由变元的公式 ϕ 都有 T ⊨ ψ→ϕ 或者 T ⊨ ψ→¬ϕ 。称公式 ψ 是 T 可完备的,当且仅当,存在一个完备公式 ϕ满足 T ⊨ ϕ→ψ 。

定理:对于可数语言的完备理论 T ,如果 T 有可数饱和模型,那么每个公式都是 T 可完备的。

证明:反证法,如果有公式 ψ 不是T可完备的,那么存在 ϕ 满足 T⊬ψ→ϕ 和 T⊬ψ→¬ϕ ,否则 ψ 就是T的完备公式且 T⊨ψ→ψ ,这与假设矛盾。因此 T,ψ∧¬ϕ 与 T,ψ∧ϕ 一致。如果 ψ∧ϕ 是T可完备的,那么存在完备公式 σ满足T⊨σ→ψ∧ϕ ,矛盾,因此 ψ∧ϕ 与 ψ∧¬ϕ 都不是 T 可完备的,根据定义可得存在公式 φ 满足 T,ψ∧ϕ∧φ 和 T,ψ∧ϕ∧¬φ 一致,以及公式 χ 满足 T,ψ∧¬ϕ∧χ 与T,ψ∧¬ϕ∧¬χ 一致……递归可得一个完全二叉树,得 T 有连续统基数个类型扩展。又因为可数饱和模型只能实现可数个不同的型(因为可数模型的有穷序列可数),这与 T 有可数饱和模型矛盾,因此 T 没有可数饱和模型。

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

相关小说

勿入混圈 连载中
勿入混圈
段筱玖
女主段筱筱的作死之路
0.2万字8个月前
你就是我的救赎mr 连载中
你就是我的救赎mr
陌然mrr
有一位叫做梦佳的神明,因神明有一项不能拥有感情的规则,所以从小便欠缺感情,她自己也知道自己和别的神明不一样,她更想要拥有感情的生活,没有感情......
2.8万字4个月前
慕容归零 连载中
慕容归零
丽夏
慕容前世嫁给了蔡飞,蔡飞家暴直到而死都不明白是,原来蔡飞和慕楠早就勾搭在一起了。原来墨卿才是真正的爱我的,把她抱在怀里哭。蔡飞和慕楠你把墨卿......
13.5万字3个月前
Hp:东方女子又惊艳世人了 连载中
Hp:东方女子又惊艳世人了
z昭朝
身无彩凤双飞翼,心有灵犀一点通“别小看我,我可是会读心的!”“Well.那读心小姐怎么读不出-Myfeelingsforyou.”
4.1万字3个月前
缘(无限) 连载中
缘(无限)
旧街灯
1.1万字3个月前
猫武士——银河之下 连载中
猫武士——银河之下
某个想炸学校的老灯
在这片葱郁繁茂的森林里,一个名为“灵族”的灵魂猫群悠然盘旋于树梢之上,它们的身影如同森林中的幽灵,神秘而优雅。森林深处,两大族群和谐共生:澜......
0.5万字2个月前