完全分配格是完备集环的刻划定理

利用RaneyGN的完全分配格的次直积表示定理证明了 :完全分配格L是完备集环 L是相对原子格 ;完全分配格L是完备集环 conc(L)同构到一个幂集格 ,这里conc(L)是L的完备同余关系格 .     

模糊完备格上的模糊同余关系

在模糊完备格中引入模糊完备格同余关系的概念,讨论了模糊完备格同余与模糊闭包算子之间的关系.证明了一个模糊完备格上的模糊同余关系之集构成的模糊偏序集模糊序同构于其上的模糊闭包算子之集构成的模糊偏序集.给出了模糊完备格同余的商的概念,证明了任一模糊完备格满同态的像都模糊序同构于由该模糊完备格同态所诱导的同余关系的商.     

完备集环是理想格的充分必要条件

证明了如下结果：设L是完备格，L是完备集环←→L同构到L的完全并既约元有限生成的分配并半格F上的理想格I(F)，完备格L同构到一个格K的理想格I(K)，L是完备集环←→K是强Sober格。     

完备集环上的Stone代数

得到了如下结果：①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中；②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积；③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格．     

格上保并映射的若干特征定理

在一般完备格L中引入(L)集族的概念,利用完备格上的“”关系、(L)集族及其完备格之间的一映射作为工具,对完备格及其分子格上的保并映射进行了研究,得到了保并映射的若干新的特征定理.证明了完备格之间的一个映射是保并映射当且仅当它是—映射;完备格L到平凡格{0,1}上的全体保并映射之集是一个分子格当且仅当L是分子格;一个强分子格到另一个强分子格土的保并映射之集构成一个新的强分子格.     

完备同余关系的一个等价定义

定义了链传递关系,并且得出如下结果：（１） 设Ｌ 是完备格,θ是Ｌ上的完备同余关系θ是链传递的同余关系;（２） 设θ是Ｌ 上链传递关系,则θ是完备同余关系当且仅当θ满足替换性质（ｔｈｅ Ｓｕｂｓｔｉｔｕｔｉｏｎ Ｐｒｏｐｅｒｔｙ） ．从而可定义完备同余关系是满足替换性质的链传递关系     

完全分配格和完备集环

设L是完备格,S(*)L称为L的基,若(*)x∈L,Sx(*)S使得∨Sx=x.称L是基拟原子的,若(*)x∈S且x≠1,(*)y∈L,使得x(*)y因而x(*)y.该文使用the wedge below relation (*)证明完全分配格是完备集环当且仅当L有一个基S(*)L使得L是基拟原子格.又得到使用拓扑方法的如下刻划定理完全分配格是完备集环(*)L的区间拓扑θ(L)(Lawson拓扑λ(L)或双Scott拓扑σω(L))是完全不连通的.     

Yoneda 完备度量空间范畴的完备性和余完备性

该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.     

完全分配格范畴的完备性与余完备性

证明了完全分配格范畴是完备的和余完备的格范畴。     

Yoneda完备度量空间范畴的完备性和余完备性（英文）

本文探讨了Yoneda完备度量空间范畴的完备性和余完备性,证明:若态射是Yoneda连续映射或Yoneda连续的非扩张映射,则该范畴是完备且余完备的;若态射是Yoneda连续的Lipschitz映射,则该范畴是有限完备和有限余完备的,但既不完备也不余完备.本文还证明了以实数值连续格为对象,Yoneda连续的右伴为态射的范畴是完备的.     

关于MV-代数的逻辑性质

MV-代数是C．C．Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。     

完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

完全多部图的G-填充和覆盖

设图G是由P4带一条悬边所组成的五点四边图，本文确定了完全图Kv和完全多部图Kn(t)的图G填充数和覆盖数。     

具有负常数相对仿射平均曲率的欧氏完备超曲面

对于一个给定的凸域ΩRn及光滑边值φ∈C∞(Ω), 通过解一类非线性四阶偏微分方程,作者构造了具有负常数相对仿射平均曲率L＜0的欧氏完备超曲面.     

最优二叉树的完备性证明

在最优二叉树的证明中，一般是从该树中通路长度最长的分枝点有两个孩子开始证明，但在前提中没有给出“在最优二叉树中通路长度最长的分枝点一定有两个孩子”的条件，本文就此问题展开研究，证明了最优二叉树的一个性质：最优二叉树一定是完全二叉树。     

有限集合上的拟一致结构与拓扑

证明了对每个给定的有限集合x，（Qu（x），∈）与（r（x），∈）完备格同构，其中QU（X）是x上的全体拟一致结构，T（x）是X的全体拓扑，∈均为集合意义下的包含序。     

建立完备测度空间的4种方法及其等价性

对给定测度空间 (Ω ,F,μ) ,给出了 4种建立完备测度空间的方法 :设 μ 是由 μ引出的外测度 ,令 F 为 μ 可测集全体 ,得到 (Ω ,F ,μ ) ;N 是 μ -零测集全体 ,令 F= {A∪N :A∈ F,N∈ N} ,定义 μ(A∪N) =μ(A) ,得到(Ω ,F,μ) ;令 FΔ ={AΔN :A∈ F,N∈ N} ,定义 μΔ(AΔN)=μ(A) ,得到 (Ω ,FΔ,μΔ) ;令 F ={A : A1、A2 ∈ F,使A1 A A2 且 μ(A1) =μ(A2 ) } ,定义 μ(A) =μ(A1) ,得到(Ω ,F,μ) .并证明了它们之间的等价性 ,结论是测度空间的完备化是由给定的测度空间唯一确定的     

仿射极大曲面的仿射Bernstein问题（英文）

作者给出仿射Bernstein问题的一个新证明。     

完全图的生成树中的完全m叉树

在完全m叉树中,假设其叶数为t,分支点数为i,则(m-1)i=t-1.证明了完全图的生成树中的完全m叉树的个数和构造是有规律的,而且当完全图的顶点数n固定时,其生成树中的完全m叉树的个数就被固定,构造也有规律可循,且当n为偶数时,生成树中不含有完全偶数叉树.