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

特殊篇章(数学定理) (5-5)

按照定理7.10的思路,我们同样可以证明这个公式集的每个有穷子集都是可满足的。但是,这个公式集本身却不可满足,因为二阶Peano理论的模型里没有「非自然数」。因此,对二阶语言,紧致性定理不成立。既然完全性定理蕴涵紧致性定理,从此又得出,二阶逻辑没有完全性;其中的语形推演不能实现全部语义上有效的推理。我们看到,二阶量化所收获的表达力,被推演力方面的损失「抵消」了。

Lindström证明,在一个比一阶语言表达力强的语言里,紧致性定理和 Löwenheim-Skolem定理不能同时成立。因此,一阶语言唯一具有这样两个性质,它在模型论的意义上被紧致性和 Löwenheim-Skolem性质所刻画。

7.13习题证明:

1)如果 φ 为一阶语句,且

Mod(φ)包含所有无穷结构,那么存在自然数

n>0,使得Mod (φ)也包含所有基数大于 n 的结构。

2) 设 Φ ₁、Φ ₂为一阶语言Ը的语句集。如果Mod (Φ ₁ ) ∩ Mod (Φ ₂ )=∅,那么,存在Ը-语句φ,使得

Mod (Φ ₁ ) ⊆Mod (φ),且

Mod (Φ ₂ ) ⊆Mod (¬φ)。

3)设K为所有Ը-结构组成的类。如果K的子类

K ₁ 与K — K ₁ 都是初等类,则K ₁ 与K — K ₁ 都是可有穷公理化的。

4)一阶语言Ը的语句集Φ称为独立的,如果Φ中任意语句φ都不能由Φ— {φ}推出。

i)对Ը的任何有穷语句集Φ,存在Φ的独立子集Ψ,使得 Mod (Φ)=Mod(Ψ)。

ii) (如果Ը是可数的) 对每个Ը-结构组成的初等类K,存在独立的Ը-语句集Φ,使得

K=Mod (Φ)。

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

相关小说

穿越兽世的生活 连载中
穿越兽世的生活
小莱鸟到此一游
我的名字叫林雨怡,是一个平凡的上班族。今天早晨,我匆忙赶往公交车站,不料被一辆小桥车意外撞倒,昏迷不醒。当我重新醒来时,却发现自己置身于一个......
3.2万字8个月前
刹那——我还是找到了你 连载中
刹那——我还是找到了你
刹那乂
“如果我的死,能换到重头再来……”“好久不见”“嗯,好久不见”本书为个人oc世界!原创!禁止抄袭角色及内容!oc们的立绘还在画呜呜,后面会统......
0.4万字8个月前
至尊女皇复仇录 连载中
至尊女皇复仇录
游客1583206612428
至尊女皇司徒晴雪正站在一处山峰上,劫云在天空不断的翻滚,如此恐怖的劫云是前所未有,站在下方的司徒情绪没有一丝的反抗,嘴角还不停的滴着鲜血,勉......
126.7万字8个月前
异世药香 连载中
异世药香
abc安琪拉
花云溪,出生医学世家,却没想到被老爸的外室给坑了,从此开启了一段神奇的旅程……
31.1万字8个月前
煞星转世有喜了 连载中
煞星转世有喜了
闲云花巳奇迹小说家
你有没有想过,也许人世间是由煞星在守护。上惩下界作乱的仙君,下布煞气于行止不端的世人。以至于天界众仙都道,宁得罪喜星千次,不得罪煞星一次。而......
50.4万字8个月前
异世魔仙 连载中
异世魔仙
二初弦
【男主前期原型是白敬亭。】她,无法修炼玄力的普通人?别开玩笑了,魔仙大人根本不打算修炼玄力。她是要自己开宗立派!她要用魔法横行这片大陆。“我......
8.2万字8个月前