请输入您要查询的字词:

 

单词 CreatingAnInfiniteModel
释义

creating an infinite model


From the syntactic compactness theorem for first order logic, we get this nice (and useful) result:

Let T be a theory of first-order logic. If T has finite models of unboundedly large sizes, then T also has an infiniteMathworldPlanetmath model.

Proof.

Define the propositionsPlanetmathPlanetmathPlanetmath

Φnx1xn.(x1x2)(x1xn)(x2x3)(xn-1xn)¯

(Φn says “there exist (at least) n different elements in the world”). Note that

ΦnΦ2Φ1.

Define a new theory

𝐓=𝐓{Φ1,Φ2,}.

For any finite subset 𝐓𝐓, we claim that 𝐓 is consistent: Indeed, 𝐓 contains axioms of T, along with finitely many of {Φn}n1. Let Φm correspond to the largest index appearing in 𝐓. If m𝐓 is a model of T with at least m elements (and by hypothesisMathworldPlanetmathPlanetmath, such as model exists), then m𝐓{Φm}𝐓.

So every finite subset of 𝐓 is consistent; by the compactness theorem for first-order logic, 𝐓 is consistent, and by Gödel’s completeness theorem for first-order logic it has a model . Then 𝐓𝐓, so is a model of T with infinitely many elements (Φn for any n, so has at least n elements for all n).∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:06:20