【模型上的拓扑结构胡万军】.pdf

【模型上的拓扑结构胡万军】.pdf

模型上的拓扑结松 胡万军(北师大药学系90级博+生) 导师王世强引1 言 备知识 荧又要 第一章模型上的拓扑 31模型的们构 31子模型拓扑 1Monster模型 第二童原子公式与型 32弱稳定理泥 2换型物扑的划兮性意 三章类摸型同态 乌了1类摸型同态喉理论的偏序关系.第四章只合二元关系的语言 多4等价关系理论之间的偏序线性序理论-泛代数十逻=模型论 本世纪五十年代,模型论的研究日益丰富起 来。现代模型论的研究与其它领域的研究互相 结合,产生许多深刻的结果。几乎所有的模型论中的 深刻结果,其证明的关键在于作适当的模型,例 如 lowenhein定理的证明,它是一个给定句子的模型开 始,构作一个可数的模型。而Morley定理,首先以句 子.律乏的两相同势的不同模型开始,构作势相同的 另外两个模型。常用的构作模型的方法有普遍适 用的常易构作法,函数构作法,Skolem闭包构作 法,初等键等。所有这些方法都是来于其它数 学分支申所用方法的同样的基本思想,具有一定程 度上的普遍适用性。