ω—封闭性定理

本文讨论了ω-正规语言,ω-上下文无关语言对同态和逆同态运算的封闭性。证明了一个关于三重簇的闭包定理。     

ω—DYCK语言定理

本文证明了每一个ω-CFL都可表示为一个ω-DYCK语言与一ω-正规集之交的一个同态。     

ω—PARIKH映射定理

本文提出并证明了ω—PARIKH映射定理。     

ωM空间的分解定理

称空间X满足分解定理，若f:X→Y是连续、满的闭映射，则存在Y的σ闭离散子空间Z使得对于每一y∈Y\Z,f^-1(y)是X的（可数）紧子集。作者纠正了T.Ishii关于ωM空间分解定理的错误。     

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

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

论Lω敛散性的新定理

本文论证了关于Jacobi矩阵B=L-U(L,U是非负阵)的逐次松弛矩阵的敛散性依赖于矩阵L+U。并给出了估计松弛矩阵之谱半径上下界的不等式。由此,还可证得对一般Jacobi矩阵B之松弛矩阵有:当|B|的谱半径小于1,则该松弛矩阵的谱半径小于1(这里松弛因子是在0和大于1的数C之间)。     

关于Lγ,ω的敛散性定理

本文讨论了非负Jacobi矩阵B和AOR矩阵L_(γ,ω)(1≤ω≤γ<2),证明了它们同时敛散,揭示了ρ(B)和ρ(L_(γ,ω))之间的关系,并给出了估计谱半径ρ(L_(γ,ω))的上下界的两组不等式。     

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

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

修正的Nevai算子在LMω空间的逼近定理

本文讨论了修正的Nevai算子在带有权函数的L*M空间即LMω空间中的逼近问题,得到了逼近阶的一种估计法.     

Lω-空间ωβ-连通性的樊畿定理

讨论了Lω-空间ωβ-连通性的刻画问题.利用ωβ-远域的概念,给出了Lω-空间中ωβ-连通性的樊畿定理,建立了ωβ-连通的几何直观性的刻画.应用樊畿定理,讨论了ωβ-连通性的一个基本性质.     

线性算子在H_ω~*上的逼近定理

1.设X是Banach空间,其范为‖·‖x,U是X中线性稠密集,对U中的元规定中范|·|u,若f∈X,对t∈(0,1)称     

Lω-空间中ωδ-连通性的樊畿定理

在Lω-空间中利用ωδ-闭集引入了ωδ-远域的概念,并借助于ωδ-远域给出了ωδ-连通性的樊畿定理.最后,利用连通性的樊畿定理证明了一个重要结论.     

修正的Nevai算子在Lω^M空间的逼近定理

本文讨论了修正的Nevai算子在带有权函数的LM^ω空间即Lω^M空间中的逼近问题，得到了逼近阶的一种估计法．     

Lω-空间中ωθ-连通性的樊畿定理

在Lω-空间中利用ωθ-闭集引入了ωθ-远域的概念,并借助于ωθ-远域给出了ωθ-连通性的樊畿定理.     

ω-超可微函数D＊中的Paley—Wiener定理

在许多学者得到的重要结果的基础上，文章利用Fourier—Laplace变换对BeurLing型ω-超可微函数空间D{ω}和Rumieu型ω-型可微函数D{ω}进行了讨论，并且给出了Dω中的Paley-Wiener定理．     

ω-超广义函数空间D''''*的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D'{ω}(Ω)和D'(ω)(Ω)的一些性质,并给出了一些相关的判别定理.     

序型为ω+1+ω和ω+ω+1+ω的单胞算子

本文构造了几类紧的和非紧的拟幂零单胞算子,使其不变子空间格具有序型ω+1+ω或ω+ω+1+ω.     

算子演算的a-Browder定理和(ω1)性质的等价性

根据一致可逆性质定义的一种新谱集σ2(·).通过它与变化的本质逼近点谱σ1(·)之间的关系,给出了算子演算满足a-Browder定理和有(ω1)性质的充要条件.研究了a-Browder定理和(ω1)性质对算子及其共轭的算子演算同时成立的条件,描述了H(P)类算子的算子演算的(ω1)性质.     

ω-超广义函数空间D′＊的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D′（ω）（Ω）和D′（ω）（Ω）的一些性质，并给出了一些相关的判别定理．