逻辑L′ω1ω及其上的几个保持性定理

在无限长逻辑逻辑L′ω1ω的一个子逻辑逻辑L′ω1ω上建立了几个保持性定理。     

强极小理论模型的分类

对强极小理论的模型进行了完整的分类，并讨论了几个与之相关的问题．     

模型中强极小集的关系

研究了完全理论的模型中强极小集之间的关系,并证明了如果T是一个完全理论,Ψ1(x)和Ψ2(x)是T的两个强极小公式,则Ψ1(x)可以被Ψ2(x)X-表示,或Ψ2(x)可以被Ψ1(x)X-表示,或Ψ1(x)和Ψ2(x)独立.     

L′ω1ω上的α-省略型定理及其应用

本文建立了L′_(ω1ω)上的一种α-省略型定理,并利用这一定理证明了当|T|是可测基数时的Morley猜想。     

逻辑L′ω_1ω及其上的几个保持性定理

在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理 .     

模型论在代数上的应用

给出了模型论在代数上的两个应用,得到了下列定理：定理A：如环R的任何有限生成子环均是局部环,则R是局部环.定理B：存在自然数的真扩张R使其具有下列特征：（1）虽然R有无限多零因子,但R中有无限多零因子,但R中的首1多项式的根的个数可以得到很好的控制.（2）R不仅将自然数的素数特征保留下来,而且还可在其上定义指数函数。     

有限可补格上的格值逻辑的特征

本文给出了有限可补格上的格值逻辑的特征,即如果L是一个强于L_1的正则逻辑系统并且L有紧致性和LS性质,则L～L_1.     

L＇ω1ω上的α-省略型定理及其应用

本文建立了L＇ω1ω上的一种α-省略型定理，并利用这一定理证明了当｜T｜是可测基数时的Morley猜想。     

α-型及其应用

本文以α型为基本工具研究代数问题，给出了Abian结果的一个进一步的结果，并给出了域上的无限线性方程组有解的一点判定准则。     

有限可补格上的一阶格值逻辑几个性质

本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.