z完全稠密二叉偏序理论的可数模型.pdfVIP

维普资讯 2007-04 北京师范大学学报 (自然科学版) 43(2) JournalofBeijingNormalUniversity(NaturalScience) 完全稠密二叉偏序理论的可数模型* 陈 磊D 沈复兴 (1)北京师范大学哲学与社会学学院价值与文化研究中心，100875，北京； 2)北京师范大学信息科学与技术学院，100875，北京) 摘要 在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理，并在该理论中定义了上界函数 *，利用 有理数序列构造了该理论的一个可数模型． 关键词 完全稠密；二叉偏序；有理数序列 ；上界；可数模型 4)Vxyz(yxAzx— ≤ V ≤ )； 完全稠密二叉偏序的公理 5)Vxy] (≤ A ≤ AVl(1≤ AZ≤ — Z≤ 完全二叉树是图论中一个较基础的概念，在其他 ))． 学科，例如计算机科学有着广泛的应用．文献[1]用数 为了叙述的方便，我们定义一个函数 *，* — 理逻辑模型论的方法对这种理论的各种模型进行了研 定义为 ≤ A ≤ AVZ(Z≤ AZ≤ — Z≤ )，即 究，并证明了该理论是 一范畴的．序和树是近代模型 为 ，Y的下确界．公理 5)保证了函数*的存在性和合 论的一个分支：稳定性和单纯性理论研究中的关键词 理性．这样公理 5)可以简化表达为 汇．简要地说，如果理论中的任意一个公式都不具有 5)Vxy] (— )； 序性质那么该理论称为是稳定的；如果理论中的任意 6)VXyl( l一 ]Yz( 1≤ 2^ 2≤ 1^ 一 个公式都不具有树性质，该理论是单纯的．可以看 — l 2AVz(xz ( l* A．27一Yz* )V 出序和树在稳定性和单纯性理论中扮演了重要的角 (x~yz* A — l* ))； 色．线形序理论长期以来一直是模型论工作者们关注 7)Vx(x≠R— R )． 的对象．许多有意义的结果在研究中得到L2]．Pillay 以上的7条公理称为完全稠密二叉偏序理论的公 等人[5_]对具有线形序模型的理论进行了抽象的研究． 理集．首先 ，我们研究一下函数 *的性质．*满足下列 而由于偏序理论的复杂性，对于它的研究一直很少． 运算定律： 近 2年来，模型论工作者开始将 目光转移到具有偏序 1)交换律 ： — ； 模型的理论上．Wencel等人[8]研究了具有布尔序的 2)幂等律：* — ； ()_极小模型的一些性质．ToffaloriEm]研究了具有格序 3)结合律：( )* — *( )． 的 ()_极小模型．基于上述原因，我们把具有树形序的 定律 1)、2)由*的定义可知．结合律的证明如下： 模型作为研究的对象，进行了一系列较系统的研究．同 证 设 —tl，Y z=t2，因此 t1≤ ，tz≤ ．由 时，继全序理论之后，偏序理论成为模型论工作者们关 公理 4)知：tl≤￡2或 tz≤￡1．不妨设 tl≤￡2．因为 tz≤ ， 注研究的内容．下面我们来研究完全稠密二叉偏序的 所以( )* —t1．由t1≤ ，t1≤￡2≤ 得：tl≤ 理论和模型． 再加上 t1≤ ，可得到 t1≤ *(* )．我们断言 t1一 首先，回忆偏序 的公理．设一阶语言 LZ={≤，R)， *( )．若 tl：*( )一￡，贝0