模型论力迫法在代数中的一个应用.pdfVIP

长江大学学报(自科版) 2013年9月号理Tt-旬刊第i0卷第25期 - 18· of Journal Sci No．25 YangtzeUniversity(NatEdit)Sep．2013，V01．10 模型论力迫法在代数中的一个应用 张 龙，陈国龙，万展翔 (淮北师范大学数学科学学院，安徽淮北235000) [摘要]力迫法是公理集合论研究中构造扩充模型的一种重要方法。首先用力迫法对相关文献中的定理进 行了推广，而后给出了代数封闭除环的概念，并通过给出的概念用模型论力迫法证明了每个可数除环A 都可扩张为一个可数的代数封闭除环。 [关键词]模型论；力迫法；可数除环；代数封闭除环 [中图分类号]0141．1 [文献标志码]A 1预备知识 定义1[1] 设G是由J(C)中一些原子语句或原子语句的否定组成的集合。当G适合下列2个条件时， 件P∈G，使P卜驴(户力迫9)或PF(7驴)(]9表示非9)。 定义2[11 丁．兼纳模型。 定理1 设三(z)是可数语言J的存在公式的集合，T是J的一个归纳理论，C是可数无限新常量集， 对T在_『(C)中的每个条件P，每个f∈C，如果存在公式都有盯(z)∈三(z)，使TUPU{口(z)}和谐，则 必有模型∥卜t驴(P满足驴)，产的论域中任意一个元素口∈A，都有盯(z)∈三(z)使弘}盯(日)。 定理2[1] G卜9。 定理3[1]设T是一个V j理论(即：T中每一语句都是Vzl．一z。，了Yl，．一，y。，妒(z1，．一，．27。，Yl，．．． Y。)形状，驴中无量词)，则每一个丁_兼纳模型m都是丁的模型。 定理4[1]设T是一个V|理论，则每一个T-兼纳模型m都是对T存在封闭的。 引理1[13 2 对每一r条件P，都存在一个T_兼纳集GP。 引理2[z1 限集P∈A一使P卜妒。 引理3[21设T是归纳理论，即T保持模型链的并，则丁的兼纳模型是丁的模型。 2主要结论 首先，笔者用模型论力迫法把定理1推广到可数无限多个存在公式的集合中。 UP 证明 先来证明对每个条件P，每个存在公式仃(z)，每个c∈C，如果TUPU{盯(c)}和谐，那么就 J卜盯(f)。 一定存在条件q]P，有q 由TUP [收稿日期]2013一05—13 [基金项目]安徽省高校自然科学研究重点项目(2005KJZD)。 [作者简介]张龙(1988一)，男，硕士生，现主要从事数理逻辑及应用方面的研究工作。 万方数据 第10卷第25期 张龙等：模型论力迫法在代数中的一个皿用 U U t-a(c)。 有s[耸使得s卜盯(c)。同时，可得Psc耸，因此Ps也是T的条件。令g—sUp，则有q]P，q 下面列出C的全部常量c，，c。，…如，…，刀tat)。并且也列出I(C)的全部句子：‰，翰，…，织，．．·，n∞。 还要归纳地构造T在I(C)中的条件的递增序列：P—P。cP。c…cP。c…，咒∞，使得满足每 个咒叫，都有夕井。卜似或p一。卜-1仍，并且盯(z)∈三。(z)，同时p科。F盯(c。)。 假设P。已经构造好了，由题目已知条件有仃(z)∈邑(z)，使得丁U P。U{a(c。))是和谐的。由上面的 证明可知存在条件q，q]P。，q