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

可数饱和模型的一个引理

我们称公式 ψ(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),接着再看更方便。

相关小说

雁归有时 连载中
雁归有时
生命高度
本书别名《没有明天》【虐文】【已完结】结合了某某些真实事件改编、以文字的方式呈现彭萧是在家暴家庭中长大,七岁那年,父亲残忍杀害母亲,22岁,......
9.3万字8个月前
自恋病 连载中
自恋病
斯派修
没有实体cp,但也不是主人公,单独幻想。
0.4万字8个月前
影藏的梦 连载中
影藏的梦
LeeHanse0627
人类的三大情感——亲情、爱情与友情。如果有人丢失了它们,那么这个人就会成为一个毫无意识的空壳…我,四大家族之一的亚卡兰登家族中唯一存活于世的......
10.7万字6个月前
神域天下 连载中
神域天下
青柠溪乐
第一次写修仙小说,人生一大尝试,不求表扬,但求指点,批评也行
1.1万字6个月前
梦如所愿 连载中
梦如所愿
罹翙
梦……真的能所愿成真吗?
0.7万字3周前
穿入恐怖测验后怕鬼的那个人他大杀四方 连载中
穿入恐怖测验后怕鬼的那个人他大杀四方
或许你听不见
主亲情向小说:宿温溪×白夜
1.0万字5天前