【一类非认同模型张玉平】.pdf

【一类非认同模型张玉平】.pdf

一类非认同模型 核要 本文是在精读Baldwia的书(1]),泛读Shelah的书(21])之 后写成的,其基础是Chang的书(I5])中关于纯模型理论的讨论,其 主导思想起源于Hart的一系列文章(110,11,12])(该想法已在[25],[26] 中有初步体现)与Hart的通信曾促使本文的写作.全文的结构及背景将在第一部分详细介绍.第二部分为其余三部分 提供出实例模型背景.基础模型理论,模型结构理论的基本技巧在其中 有充分展示,第三部分相当于稳定性理论的中介稳定理论,用于探讨最 基本的稳定概念在本文所限定的非认同类中的晨开.Theabovemethodisoftengeneralizedinthestudyoftheinacceptable classesofmodels,such as,Bakenovsstudyofquasi-totallytranscendental theory.Harts study ofthe class ofatomic models of stable theory,Hrusovskis studyofunidimensionaltheory,Hervigsstudyofunsuperstable stabletheoryvithdenseforkingchain,and一、引言 1租定性理论稳定性理论是数理辽辑的一个分支,已有将近三十年的历史,Norley[15]预示这理论的形战,并随着对模型站构的分析面深入.Shelah[20]在要 来局部可数魏定的条件下,分析了不可蜂无集的结构,其方法是稳定性理论的基础.Baldwin和Lachlan[2]通过对不可辨元集堆数的讨论分析了不可数范婷理论,其增 数已成为驰定性理论的基本概念.模型论关心的足模型的外部性质,而健定性理论则认围我出决定模型内部性质的不 变量.Shelah[21]找出决定不网构的不变量面算出了语函数,Hart[11]致力于寻求 世使模型不网构的特性,以此证明Norley猜想。