lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

寻找第一个对偶可行基的一般方法

文章给出了线性规划问题标准形式的一种较弱形式——准标准形并给出了相应的单纯形方法,然后以此为工具给出了寻找第一个对偶可行基的一般方法,从而为求解常量含参数的线性规划问题提供了一般解法.这一方法使对偶单纯性方法这一理论体系得以完善.     

防水板中钢筋抵抗裂缝贡献度分析

防水板通常当作倒楼盖计算,其受到水浮力作用,受力特性复杂.该文通过公式计算,得出钢筋应力σsk和有效截面配筋率ρte之间关系,通过分析裂缝计算配筋率与钢筋应力的关系,找出钢筋抵抗裂缝的贡献度;分析得出防水板中钢筋对于抵抗裂缝的受力特性.     

逻辑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猜想。     

强极小理论模型的分类

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

模型论在代数上的应用

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

完备型序列及其应用

本文定义了完备型序列,讨论了完备型序列的一些性质.作为其应用,我们给出了素模型存在定理的另一种证明.     

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

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