Lindenbaum定理的新证明方法及其应用.pdfVIP

长江大学学报(自科版) 2013年8月号理工上旬刊第10卷第22期 Sci No．22 · 17· Jomm!ofYangtzeUniversity(NatEdit)Aug．2013。V01．10 Lindenbaum定理的新证明方法及其应用 万展翔，陈国龙，张 龙 (淮北师范大学数学科学学院，安徽淮北235000) [摘要]模型论研究形式语言及其解释(模型)之间的关系，是形武语言的语法和语义的关系的理论。模 型论的主要方法是构造模型。用新的模型论方法得到了几个相关结论，并且利用得到的结论证明了模型 论中的Lindenbaum定理和高等代数中向量组极大线性无关组可以由任何一个线性无关组扩充的结论。 [关t词]模型论方法；和谐理论；Lindenbaum定理，极大线性无关组 [中圈分类号]0141；4 [文献标志码]A 1预备知识 定义itl3由L中语句构成的任一集合三也称为L中的理论。如果L中每一公式都能由三推出，则称理 论三是不和谐的，否则称三是和谐的，而L中任何真包括三的理论都不再是和谐的，则称三是极大和谐的。 引理iCll(广义完全性定理)设T是L的和谐公式集(理论)，则丁是可满足的，即T有模型。 引理2[21(可靠性定理) 成立的或T满足口)。 引理3c11(紧致性定理)L中每一个理论T有模型当且仅当T的每一有限子集都有模型。 2相关结论 定理1设T是L的一个理论，T不和谐当且仅当存在一个语句口，Th且TI-C7口)(]口表示非口)。 证明 (净)。若T不和谐，显然有丁h且TJ-C7口)。 进而有T卜口一p，从而进一步有丁卜卢。因此，丁是不和谐的理论。 推论1 设T是L的一个理论，如果对任何自然数n，T都有元数大于挖的有限模型，则T有无限模型。 证明 取一集不在L中的新常量{c}：S∞)，令L=LU{0：ecEJ)，三=TU{7(q三巳)： e刁∞)。任取三的有限子集三7，则其中只出现有限多个新常量q，由题设可知，三7有模型，从而由引理3 知，三有模型A，显然有，A是T的无限模型，证毕。 推论2 设丁是L的和谐理论，是L的一个语句，①若Th，则TU{口)是L的和谐理论；②若T 不能推出口，则T a)是L的和谐理论。 U{7 证明 ①因Th，故有T卜a。又．T和谐，放T有模型A，即A卜T，从而A}：a。进而有A卜ITU{口)， 注意到卜(]口一口)一a，进而有T卜口这与题设条件T不能推出口矛盾，证毕。 推论3 设T是L的一个和谐理论，则丁卜口当且仅当T卜口。 证明 (≥)。由引理2知T卜a，则T卜口显然成立。 (e)。假设丁不能推出，因TI-口，由条件知T有模型，且对T的任一模型A，都有A卜口。又T不能 推出口，且T和谐，由推论2知TU{7a)和谐，从而由引理1知T T且 U{]口)有模型B，即B}I B卜(]口)，而由上述讨论知B卜口，矛盾。 推论4 设n(A)={口：A卜口)，A为L的一个模型，则Th(A)是一个极大和谐的理论。 证明 [收稿日期]2013—05—12 C基金项目]安徽省高校自然科学研究重点项目(2005KJZD)。 [作者简介]万展翔(1988一)，男，硕士生。现主要从事数理逻辑及应用方面的研究工作。 万方数据 ·18· 理工上旬刊*数理科学与应用 2013年8月 p 3 Lindenbaum定理的新证明 下面将用以上得到的结论巧妙地证明Lindenbaum定理。 定理2‘11(Lindenbaum定理)L中每一个和谐的理论三都能扩张为一个极大和谐的理论。 证明 包含三的极大和谐理论，证毕。 4应 用 定理3‘31向