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

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

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

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

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

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

直觉模糊集的截集

首先指出一个直觉模糊集是L-模糊集且X上所有直觉模糊集的集合是一个完备格．其次，分别给出了直觉模糊集截集、直觉集合套的定义；讨论了有关直觉模糊集截集的性质．在此基础上，给出了直觉模糊集的分解定理和表现定理．最后，讨论了直觉模糊集截集与直觉模糊子群的关系，证明了A是群G的一个直觉模糊子群的充分必要条件是A的截集是G的一个子群．     

ω_μ—乘积空间

本文引入了ω_μ—乘积空间的概念,并详细讨论了它的性质,最后以此为工具给出了R.sikorski和王戍堂关于ω_μ—距离化定理的较简单的证明。ω_μ系指规则的初始数,如不特别说明,总假定μ>0。一个拓扑空间(x,T)叫做ω_μ—可加的,是指对T的任一个α一列有,这里α是小于ω_μ的任一序数。     

基于二项式定理应用的探究

二项式定理是初等数学中的一个重要定理，其形成过程是组合知识的应用，同时也是进一步学习概率统计的准备知识，在高等数学中更是许多重要公式的共同基础。从一个新的角度审视二项式定理，给出数环中一类数的n次幂计算的递推公式。同时利用二项式定理的推广形式——多项式定理，得到初等数论中费尔马小定理的一个新证明。     

Lagrange中值定理的新证法

Lagrange中值定理是微分学中值定理之一，给出闭区间上连续函数的两个性质，应用连续函数的性质和闭区间套定理证明lagrange中值定理。     

有限开区间上的柯西中值定理

通过给出一个反例,指出了文献[2]中有限开区间上柯西中值定理的错误,给出了有限开区间上的柯西中值定理,推广了柯西中值定理,使得利用导数研究开区间上函数的整体性态更为方便。     

关于积分第一中值定理的一个注记

关于积分第一中值定理的一个注记李莹万重杰１、引言积分第一中值定理：若ｆ（ｘ）是［ａ，ｂ］上的连续函数，则在［ａ，ｂ］中存在一点ξ使∫ｂａｆ（ｘ）ｄｘ＝ｆ′（ξ）（ｂ－ａ）上述定理是高等数学中的一个重要定理，具有广泛的应用。大多数高等数学教科书中只给出...     

带Г—半群

给出了带Г－半群的定义，证明了带Г－半群是矩形带Г－半群的半格，给出了带Г－半群的一个结构定理，它可以看作Ｐｅｔｒｉｃｈ关于带的构造定理在Г－半群上的推广。