可数模型的ψ—分式模型

从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词法去方法证明了当Ｔ是完全理论时，Ｔψ的完全性，进一步给出了Ｔψ是ω－范畴理论的一个充分必要条件，回答了Ａｓｈ的一个问题。     

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

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

Banach空间中序列的p-可和性

证明了Ｇｒｏｔｈｅｎｄｉｅｃｋ－Ｐｉｅｔｓｈ定理〔１，３〕的逆定理成立，引入ω＊ｐ－可和概念，证明对偶空间中序列的ωｐ－可和性与ω＊ｐ－可和性是等价的，并给出一个范数恒等式．     

强Z—拟连续偏序集的权与Z—嵌入基数

在集论ＺＦ＋ＤＣｗ中，我们给出了强Ｚ－拟连续偏序集Ｐ到单位闭区间［０，１］的Ｚ－态射的一个直接的构造法，证明了Ｐ到［０，１］的Ｚ－态射全体强分离Ｐ中的点，该文引入了Ｚ－完备偏序集Ｒ的权ω（Ｐ）和Ｐ的Ｚ－嵌入基数λｚ（Ｐ）。     

ω—自动机与扩大了的正规表达式

在提出扩大了正规表达式的概念的基础上，建立ω－自动机与扩大了的ω－正规表达工之间的１－１对应，并给出了２类不能构造出确定型ω－自动机的表达的（语言）。     

G-B变换对极限循环连分式K(a_n/1)的加速收敛

本文对极限循环连分式Ｋ（ａｎ／１）的逼近序列引入合成序列变换，选择适当的辅助序列得到Ｇ－Ｂ变换；就Ｇ－Ｂ变换和常数因子ｘ１对极限循环连分式的加速收敛进行了比较，并给出了数值实例．     

G—B变换对极限循环连分式K（an／1）加速收敛

本文对极限循环连分式Ｋ（ａｎ／１）的逼近序列引入合成序列变换，选择适当的辅助序列得到Ｇ－Ｂ变换；就Ｇ－Ｂ变换和常数因子ｘ１对极限循环连分式的加速收敛进行了比较，并给出了数值实例。     

广义分式规划的一个混合型对偶

在函数（F，ρ）－凸性假设下，给出了广义分式规划的一个最优性充分条件和一个混合型对偶，并且在适当的条件下，给出了相应的弱对偶定理，强对偶定理，以及严格逆对偶定理。     

Aaskakov—Kantorovich算子点态逼近

通过构造了一个新的算子，利用光滑模ω＾２φλ（ｆ，ｔ）（０≤λ≤１）和ω＾１（ｆ，ｔ）研究了Ｂａｓｋａｋｏｖ－Ｋａｎｔｏｒｏｖｉｃｈ算子的点态逼近，得到了一个等价定理，统一了以前Ｄｉｔｚｉａｎ－Ｔｏｔｉｋ模和古典光滑模的结果。     

一个新的向量值连分式收敛准则

给出了一种证明连分式收敛的新方法 ,显示出连分式古典向后递推算法在连分式收敛理论中是一个有效的工具。文章首先把数量情形下的向后递推算法推广到向量情形 ,建立了向量值连分式两相邻渐进分式的一个递推关系式。利用此关系式对向量连分式 K( an/bn) ,这里 bn满足 Samelson逆 ,给出了一个类似于 Pringsheim收敛定理的判断准则 ,并给出了收敛时的截断误差     

_（ω_1ω）的一个子逻辑系统及其特征

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

_（ω1ω）语言格值模型论的省略型定理及其应用

利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。     

Lω1ω语言格值模型论的省略型定理及其应用

利用用谐性质的方法给出Ｌω１ω片断Ｌｆ上的省略型定理，作为应用，对Ｌｆ中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ的素模型的充要条件，并给出了原子模型与素模型之间的关系。     

双层线性分式规划的性质和算法

讨论了双层线性分式规划问题，利用分式对偶理论和Kuhn-Tucker条件，给出一些二层规划解的最优性条件，并且借助于PCP算法的思想，给出求解双层线性分式规划行之有效的算法．     

一类插值多项式逼近

设ｎ是偶数，Ｐｎ－１是Ｌｅｇｅｎｄｒｅ多项式，Ｒｎ（ｆ，ｘ）是以（１－ｘ＾２）Ｐｎ’－‘１（ｘ）的零点为基点的所谓（０，２）型插值多项式，本文构造了两个函数类Ｈω２，Ｈω１，研究了Ｒｎ（ｆ，ｘ）逼近Ｈω２，Ｈω１中函数ｆ（ｘ）的阶。     

局部R-强连通性

Ｌｅｖｉｎｅ在「１」中给出了Ｌ－强连通性,作者给出了条件较弱的Ｒ－强连通笥。本文主要是利用Ｒ－强连通性来研究局部Ｒ－强连通性。     

Banach空间中空序列的p—可和性

证明了Ｇｒｏｔｈｅｎｄｉｅｃｋ定理的逆定理成立，引入ωｐ－可和概念，证明对偶空间中序列的ｗｐ－可和性与ωｐ－可和性与ωｐ－可和性是等价的，并给出一个范数恒等式。     

n连通图的可收缩边

ｎ连通图的可收缩边，人们分别在图中无三角形及图Ｇ的最小度≥３／２ｎ－１时等情况中，给出了边数下界，利用边断片给出了ｎ连通图在边原子阶≥ｎ／２时可收缩边的下界，进而给出在最小度≥４／３ｎ－１时的边数下界。     

范畴内部算子中的开态射

给出范畴内部算子的一些结果,通过一般拓扑学中连续开映射的等价刻画,定义了范畴内部算子中的开态射,并研究了它们的性质.设Ω是一个范畴,ω是Ω上的一类单态射使得(ε,ω)是一个恰当的保持的分解系统.IN(Ω,ω),CL(Ω,ω)和NO(Ω,ω)分别记为范畴Ω相对应ω的范畴内部算子、范畴闭包算子和范畴邻域算子的全体.当满足一定条件和适当的序关系给IN(Ω,ω),CL(Ω,ω)和NO(Ω,ω),可以证明它们彼此是完备类之间的同构.     

统计递归集的Hausdorff测度的上,下界

给出了由随机压缩算子生成的统计递归集的Ｈａｕｓｄｏｒｆｆ测度上、下界的估计。也就是说,在一些条件下,找出了Ｋ（ω）＾＝＾∞∩ｎ＝１ ｉ∈＾Ｎ＾∪ｎ（ω（＾ｆ（ω）ｎ,ｉ（Ｅ）＾－－－的α－维Ｈａｕｓｄｏｒｆｆ测试的上、下界,其中｛ｆｎ,ｉ,１≤ｉ,ｎ〈∞｝是一族随机压缩算子,｛＾￣Ｎｎ（ω）,ｎ≥１｝是一族可数的随机指标集。