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

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

试用Wierstrass定理证明闭区间连续函数的性质

应用Ｗｅｉｅｒｓｔｒａｓｓ定理证明闭区间上连续函数的四个性质。     

非单调ψ—凹凸算子的不动定理及其应用

给出了ψ－凹凸算子的定义，并得到了一个新的结果，同时也证明了α－凹凸算子存在唯一不动点，并将此结论应用到多项式型的微分方程的边值问题中。     

2n阶椭圆型复方程的Dirichlet边值问题

本文先使用解的先验估计和 Leray-Schauder 定理讨论了2u 阶非线性椭圆型复方程在单位圆上Dirichlet 边值问题的可解性.其次,使用积分方程的 Fredholm 定理讨论2u 阶线性椭圆型复方程上述边位问题的可解性.最后,我们还简略地讨论了两个未知实函敬的2n 阶线性与非线性椭圆型方程组的相应边值问题,在处理以上各边值问题时,都利用.关于方程 U_(?)=F(z)的 Dirichlet 边值问题解的积分表示式.     

概率赋范线性空间中的一致有界原理

概率赋范空间(简写为 PN 空间)中线性算子的研究已有很多结果.最近游兆永等人进一步完成了 PN 空间的等距度量化工作.本文在前述工作的基础上,系统地证明了 PN 空间中连续线性算子的一致有界性原理.特别是,本文的若干结论推广和改进了已有文献的相应结论.     

多值映象临界点的定理及应用

本文用Fan,Ky不等式为依据,以连续单位分划的基本方法,讨论了多值映象临界点的存在定理,得到Hilbert空间上多值映象的不动点定理,进而推出对策论中的极大(小)定理和经济理论中的walras平衡价格定律。     

复空间形的全实极小子流形的整体Pinching定理

研究了复空间形的紧致全实极小子流形,得到了整体 Pinching 定理。     

弹性地基上受集中载荷作用的自由矩形板

本文应用功的互等定理求解弹性地基上受集中载荷作用的矩形板的挠曲面方程,给出了挠曲面方程的一般表达式,为这类问题的求解提供了一种新的有效方法。     

Jacobi矩阵的广义特征值反问题

在综合分析矩阵论中的某些反问题和 Ｊａｃｏｂｉ矩阵特征值反问题的基础上，提出Ｊａｃｏｂｉ矩阵的广义特征值反问题解的存在性定理，并给予证明。