模型论定理概述.docxVIP

模型论 文章整理编辑： 论文文库工作室 （ QQ86 ）论文写作发表辅导 数学上，模型论是从集合论的论述角度对数学概念表现（ representation ）的研究，或者说 是对于作为数学系统基础的 “模型 ”的研究。粗略地说，该学科假定有一些既存的数学 “对象 ”， 然后研究： 当这些对象之间的一些运算或者一些关系乃至一组公理被给定时， 可以相应证明 出什么， 以及如何证明。 比如实数理论中一个模型论概念的例子是： 我们从一个任意集合开 始，作为集合元素的每个个体都是一个实数，其间有一些关系和 (或 )函数，例如 ×, +, - , ., 0, 1 。若我们在该语言中问 ? y (y ×y = 1 + 1) 这样一个问题，显然该陈述对实数而言成立 确实存在这样的一个实数 y, 即所谓 2 的平方根；对于有理数，该陈述却并不成立。一个类 似的命题， ? y (y ×y = 0 - 1), 在实数中不成立，却在复数中成立，因为 i ×i = 0 - 1。 模型论 - 定义 结构被形式的定义于某个语言 L 的上下文中，它由常量符号的集合，关系符号的集合，和函数符号的集合组成。在语言 L 上的结构，或 L- 结构，由如下东西组成 : 一个全集或底层集合 A ，它包含所有感兴趣的对象 ( 论域 )， 给 L 的每个常量符号一个在 A 中元素， L 的每个 n 价函数符号一个从 An 到 A 的函数，和 L 的每个 n 价关系符号一个在 A 上的 n- 元关系 (换句话说， An 的一个子集 ) 。函数或关系的价有时也叫做元数 (术语 一元 、 二元 和 n- 元 中的那个元 )。 在语言 L 中的理论，或 L- 理论，被定义为 L 中的句子的集合。如果句子的集合闭合于通常 的推理规则之下，则被称为闭合理论。例如，在某个特定 L- 结构下为真的所有句子的集合 是一个闭合 L- 理论。 L- 理论 T 的模型由在其中 T 的所有句子都为真的一个 L- 结构组出，它通常用 T-模式的方式 定义。 理论被称为可满足的，如果它有模型。 例如，偏序的语言有一个二元关系 ≥。因而偏序的语言的结构就是带有 ≥ 所指示的二元关 系的一个集合，它是偏序的理论的模型，如果此外它还满足偏序的公理。 1 模型论 - 定理 哥德尔完全性定理表明理论有一个模型当且仅当它是协调的， 也就是说没有矛盾可以被该理 论所证明。 这是模型论的中心， 因为它使得我们能够通过检视模型回答关于理论的问题， 反 之亦然。 不要把完全性定理和完备理论的概念混淆。 一个完备的理论是包含每个句子或其否 命题的理论。重要的是，一个完备的协调理论可以通过扩展一个协调的理论得到。 紧致性定理说一组语句 S 是可满足的（即有一个模型）当且仅当 S 的每一个有限子集可满 足。在证明理论的范围内类似的定义是下显而易见的， 因为每个证明都只能有有限量的证明 前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法，一个是库尔 特·哥德尔提出的（通过证明论） ，另一个是阿纳托利 ·伊万诺维奇 ·马尔采夫提出的（这个更 直接，并允许我们限制最后模型的基数） 。 模型论一般与一阶逻辑有关。许多模型论的重要结果 (例如哥德尔完全性定理和紧致性定理 ) 在二阶逻辑或其它可选的理论中不成立。 在一阶逻辑中对于一个可数的语言， 任何理论都有 可数的模型。这在勒文海姆 -斯科伦定理中有表达，它说对于任何可数的语言中的任何有一 个无限模型都有一个可数的初等子模型。 莫雷 (Morley) 证明了著名的范畴定理 .即对于可数语言的任何可数完备理论， 如果它在某个不 可数基数上是范畴的， 则它在所有不可基数上都是范畴的。 这个定理极大的刺激了模型论的 发展，产生了后来的所谓稳定性理论 (stable theory). 近来模型论更加着重于对于其它数学分支，尤其是代数和代数几何，的应用。 [1] 数理逻辑 的一个分支。它是研究形式语言及其解释（模型）之间关系的理论。早在 20 世纪 2 0年代， T.司寇伦 （1887 ～1963 ）等人在数理逻辑研究中就已经得到有关模型论性质的重要 结果。但作为系统的理论，模型论的奠基人应推 A. 塔尔斯基 。后来， A. 鲁宾逊 也对模型论 作过较多的贡献。在这方面有贡献的学者还有 R.L. 沃特 、Ａ . И.马尔切夫 、张辰中 、H.J. 凯 斯勒 、 M.D. 莫尔利 和 S. 什拉赫 等人。 模型论按其所涉及的逻辑系统划分 ,大致可分为 :一阶模型论、高阶模型论、无穷长语言模型 论、模态模型论、 具有广义量词逻辑的模型论以及多值模型论等。 由于在数理逻辑中以一阶 逻辑（见 一阶理论及其元逻辑 ）发展最为成熟，所以，模型论中一阶模型论