有关模型论的一个问题.pdfVIP

第31卷第 1期 佳 木 斯 大 学 学 报 ( 自 然 科 学 版 ) Vo1．31 N0．1 2013 卑 01月 JournalofJiamusiUniversity(NaturalScienceEdition) Jan． 2013 文章编号：1008—1402(2013)01—0152-02 有关模型论的一个问题① 王振山， 陈国龙， 路凌峰 (淮北师范大学．数学科学院。安徽 淮北 235000) 摘 要：模型论在抽象代数，数论等很多经典数学中有着广泛的应用．本文给 出了任意实闭有 序域H的一个性质，并给予了证明． 关键词： 实闲有序域；佐恩引理；模型完全性 中图分类号： 0153 文献标识码 ： A 0 引 言 ． 2 定理及证明 本文中用到的一些概念和抽象代数中的相应 定理： ∞可以表示为∞ +03+…+∞ 的充 概念保持了一致．一个可以写成 口0+a1 +… + 分必要条件是 在 的每一有序扩域G上都大于 anO~(。 ∈R，是大于或等于零的整数)叫做 上 或等于零．其中日是任一实闭有序域，W =日(。， 的Ot的一个多项式，a叫做多项式的系数．假如 。 ： ，… ， )为 日上 k个不相关不定元的有理分式 是一个AXA到的代数运算，我们就说集合A对代 域，且 ∞ ∈ 数运算来说是封闭的．也就是说，。是A的代数运 证明： 先证明充分性， 算或二元运算．另外，在定理的证明过程中，需用到 我们用反证法，假设∞在 日的每一个有序扩域 的字母较多，为了方便，在符号的使用上比较随便 ， 中都是大于或等于零的，但是，03在 中不是平方 但是含义明确． 和的形式． 1 相关定义及引理 先构造 的一个子集A满足： 定义 1I【I 7／,个元X1，2…， 叫做R上的无关 (1)对任一个 61,EA，则必有a ∈A，A对于来 未定元，假如任何一个 上的 ，：，…， 的多项 · ， +说是封闭的； 式都不等于零，除非这个多项的所有系数都等于 (2)一(c)∈A； 零 ； (3)一1∈A； 定义2 设A，B是语言 的摸型，如果对三 (4)对任意 口∈ ，那么tl∈A或者 一0∈A． 中每一语句 都有：A满足 当且仅当 满足 ，则 令A1= {1(一 )+丁2；7-1，丁2为 中的平方 称A，B是初等等价的，记作A； ； 和}，很显然A满足(1)和(2)，那么我们征明4满 设 是L中的理论 ，如果对于 中任意一对模 足(3)，假设 一1= 3(一 )__『(r3，4与r．1，7-2有 型A，都有A B，则称 为完全 沦； 相同的性质)，若r。=0则 一1= ： (．。， ，…， 如果 适合以下条件，称 为校 完全的：对 m )+ (l，2，…，m)+．(1，2，o,o，m)，把 1， 的任何模型C，．若C D，则CD； 引理33【 佐