LF(X)中带广义量词的弱完备性定理

给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.     

关于D∞的一个基本投射不等式

该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．     

关于Hausdorff非紧测度

本文讨论Hausdorff非紧测度的一些性质；并利用Hausdorff非紧测度给出完备性的一个刻划；最后利用非紧测度证明了一个较深刻的结论：无限维Banaeh空间中的单位球不能被有限个半径＜1的球所复盖。     

C∞的旋量表示

给出了完备无限秩仿射李代数Ａ∞的水平为１的不可约旋量表示，并在Ａ∞的不可约表示的基础上给出了Ｃ∞的一类基本模。     

An型完备例外序列的个数

利用垂直范畴与倾斜理论，给出计算Ａｎ型完备例外序列个数的归纳公式．     

Z-连续偏序集的映射性质

在Z-连续偏序集的基础上对其上一些映射性质作了进一步的探讨。利用伴随给出了Z-连续偏序集的等价刻划。     

关于映射族的公共不动点定理

本文建立了映射存在唯一公共不动点定理，推广了文（1）中的某些主要结果，并对（1）中提出的问题给出了一个回答。     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

仿射K(a)hler流形的一类变分问题

设(M,g)为紧致仿射K(a)hler流形,仿射K(a) hler度量g=∑fijdxidxj.作者证明了若f满足Δlog(det(fij ))=0及 Ricci曲率半正定,则M是Rn/Γ,其中Γ为Rn上离散等距子群.进一步,对光滑函数h,作者考虑M上的变分问题,其E uler-Lagrange方程为Δlog(det(fij))=4h(det(fij))-(1)/(2 ),通过解这个四阶方程的一类边值问题,构造了定义在R n上的欧氏完备仿射K(a)hler流形.     

NL-fuzzy拓扑空间与LF完备映射

在L-fuzzy拓扑空间中利用N紧集定义了N紧远域进而定义了NL-fuzzy拓扑空间,并证明了NL-fuzzy拓扑空间是L-fuzzy拓扑空间这一重要结论.同时将fuzzy拓扑空间中的fuzzy完备映射合理的推广到L-fuzzy拓扑空间中,引入了LF完备映射,给出其等价刻画.证明了LF完备映射在L-fuzzy拓扑空间与...