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

可数饱和模型的一个引理

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

相关小说

快穿之芙蓉帐暖 连载中
快穿之芙蓉帐暖
玉樱樱
(快穿+系统+虐渣+爽文+演戏+大美人+渣女+男主碎片)渣女梨依儿快穿到各个小世界围绕在各个大佬周围。完成任务后就不甩他们了,主搞自己的事业......
3.2万字5个月前
奇眠者 连载中
奇眠者
原野稳
写步临笺发现学校里的人一个一个的都失踪了,而他们的父母都没有他们的记忆,直到轮到自己也消失了,她发现自己被困在梦境里。无法走出来,有一天遇到......
1.3万字5个月前
君忆仙落凡尘 连载中
君忆仙落凡尘
三寸旧城七寸执怜
青丘狐族是上古时期九尾狐神族遗留下的血脉因地势缘由,而迁移致高处,因防有凡人意外闯入而设了结界,也为了保护族人,所以定下族规,以防不知情的族......
23.2万字3个月前
萌萌传 连载中
萌萌传
像老鹰一样123
《这样唱好美》中的女歌手,苏诗丁,唱得歌,比如《杀破狼》,唱得声音很玄空,清脆悦耳,小艳听了也说好听,撒撒听了说摇头,那我问他:“你喜欢什么......
61.9万字1个月前
星星在闪耀时,是我在对你说话 连载中
星星在闪耀时,是我在对你说话
绪緖
这是一本虐文,不是很虐,最后除了女二都死了
0.1万字1个月前
失去了,才去爱(复仇记) 连载中
失去了,才去爱(复仇记)
TK01234
(我叫周余,我的爸爸妈妈并不喜欢我,可却把我生了下来,我有一个妹妹和哥哥,哥哥叫周明。妹妹是养女,哥哥和爸爸妈妈们都很喜欢他,妹妹叫周甜。)......
1.9万字2周前