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

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

证明:令Ψ=Φ∪{φ ≥ₙ│n≥2},其中φ ≥ₙ表达「至少有n个元素」(见例7.4)。

如果Ψ可满足,则Ψ有模型,而这个既是Φ的模型,又是{φ≥ₙ│n≥2}的模型;由后者,是无穷模型(例7.4)。因此,如果Ψ可满足,则Φ有无穷模型。

我们证明Ψ可满足。根据紧致性定理(7.1),我们只要证明Ψ的任意有穷子集可满足。

设Θ是Ψ的一个有穷子集。Θ中只包含有穷多的φ ≥ₙ,因此,一定有自然数m,使得

Θ⊆Φ∪{φ ≥ₙ│2≤n≤m}。

因为Φ有任意大的有穷模型,所以,Φ有一个模型,其论域里至少有m个元素。显然这个模型是Θ的模型。

7.8定理 设Ը是一阶语言。所有有穷的Ը-结构组成的类不是初等类。

证明:令K={│是Ը-结构,且的论域有穷}。假设存在Ը-语句集Φ,使得K=Mod(Φ)。那么,Φ只有有穷模型。但是,Φ既然有任意大的有穷模型,根据引理7.7,Φ也有无穷模型。矛盾。因此,不存在Ը-语句集Φ,使得K=mod(Φ),即K不是初等类。

所以,有穷结构类不可在一阶语言里公理化;换言之,一阶语言不能刻画「有穷」这个普通的数学概念。这个事实在一个侧面表明了一阶语言表达力的局限。由此我们又得到:

7.9系理 设Ը是一阶语言。所有无穷的Ը-结构组成的类不可有穷公理化。

证明:假设K是无穷的Ը-结构组成的类,而且K可以有穷公理化。那么,存在有穷的Ը-语句集Φ,使得K=Mod(Φ)。

设Φ={φ ₁,···,φ ₙ}。由习题 7.6-1,Mod (Φ)=Mod (φ ₁∧···∧φₙ)。因此,K=Mod (φ ₁ ∧···∧φ ₙ)。

现在,任给Ը-结构,

是有穷的,

当且仅当,∉K,

当且仅当,(φ ₁ ∧···∧ φ ₙ)=F,

当且仅当,(¬ (φ ₁∧···∧φ ₙ ) )=T。

因此,Mod(¬(φ ₁∧···∧φ ₙ) )=有穷的Ը-结构的类。

这与定理7.8矛盾。

所以,无穷结构类虽然可在一阶语言里公理化(例7.4),但不可有穷公理化。

7.10 Skolem 定理 的理论Th ( ) 有可数的非标准模型。

证明:令一阶算术语言的公式集

Φ=Th(𝔑)∪│¬x₀≡0,¬ x₀≡0+1,

¬x₀ ≡ (0+1)+1,···│

首先证明Φ是可满足的。

设Ψ为Φ的一个有穷子集。记项0为0,0+1为1,(0+1)+1为2,···。令n为最大的自然数,使得¬x₀≡n包含在Ψ中。定义-解释

σ=〈,ρ〉,其中ρ (x₀)=n+1。

容易看出,σ(Ψ)=T。

因此,根据紧致性定理,Φ是可满足的。

显然, Φ是可数集。由Löwenheim-Skolem定理(7.2) Φ被一个可数解释σ´=〈,ρ´ 〉所满足。因此,σ´满足Th ( ),其中的可数结构是语句集 Th ( )的模型。

注意,对任意自然数

n,σ´(¬x₀≡n)=T。所以,ρ´(x ₀)不是任何自然数。就是说,的论域里有「非自然数」,它不是0、1、2、···。这说明,与不同构,因为我们无法把中的非自然数与中的任何自然数对应起来,而仍然能够保持加法和乘法的运算关系。

另一方面,既然是Th ( ) 的模型,那么它与就是初等等价的(例7.5)。

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

相关小说

查九:渡己 连载中
查九:渡己
泽淮北
无限流大侦探墨多多X绝症缠身唐晓翼“好人不偿命,坏人遗千年,很显然,他就可以遗留千年”这里存在形形色色的人,己死之人、想死之人、被命运所弃之......
10.6万字8个月前
快穿:不按剧本出牌的宿主 连载中
快穿:不按剧本出牌的宿主
北辞闲鱼
【已完结】楚幽意外身死,被系统二百五绑定前往三千世界去维护那些因为怨气而死去的人完成愿望。不正经的宿主做不正经的任务……世界一:皇后娘娘万福......
19.9万字8个月前
修罗女君,终入怀! 连载中
修罗女君,终入怀!
糖丝甜
千万幽怨,已难渡万般情。最后的最后,那血发女子也成了帝上,掌管天上人间,威仪八方。而那扯下别人发带的少年同是帝上,与女子同渡万年,也将女子爱......
25.1万字8个月前
九藏喵窝——情之乡 连载中
九藏喵窝——情之乡
暗光并存
【注:可不看《作者的介绍》,原作没看过的不影响看本小说】主线一(已结束):友谊,是什么呢?他对你来说是幸运,还是不幸?友谊真的帮助过你吗?但......
13.9万字8个月前
快穿女配逆袭 连载中
快穿女配逆袭
旧释
女配:颜值高、家世好、死得早!人生赢家一朝踩空,居然被绑定个女配逆袭攻略系统。寻觅:这什么鬼(ー`´ー)为了能够找到记忆回源世界,寻觅不得不......
1.9万字8个月前
神兽金刚之请你爱我 连载中
神兽金刚之请你爱我
江酥瑶
邂逅,牵手都不算什么,你说你爱我,我不信,不过我爱你
1.0万字8个月前