R-偏序集上的cpo,代数cpo与连续cpo

本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.

Z-连通代数偏序集及其范畴

对于Z-连通集系统,本文引入了Z-连通代数偏序集的概念,证明了Z-连通代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。

z-代数偏序集的范畴特征

讨论z-代数偏序集一些性质,主要证明z-代数偏序集范畴对偶等价于强代数格范畴的一个满子范畴。

Z-半连续偏序集的性质

讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划.同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划.

关于连续偏序集的注记(英文)

研究了domain的推广——连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画.

上上有界双有限偏序集范畴（英文）

本文在总结和补充D-预连续或D-预代数偏序集以及它们之间的D~△-连续函数的有关结论的基础上,得到了一类以上有界双有限偏序集为对象,以D~△-连续函数为态射的范畴的笛卡尔闭性.

Z-连通极小集及其应用

引入Zc-极小集的概念,给出Zc-连续偏序集及保Zc-集的并且保<<Zc的映射的Zc-极小集刻画,最后得到保Zc-集的并且保Zc的映射的扩张定理.

S_2-代数偏序集

引入了S_2-代数偏序集的概念,证明了偏序集为S_2-代数的当且仅当其上弱Scott拓扑为强代数格,即完全分配的代数格。

Z-连通连续偏序集的遗传性及不变性

本文引入了Z_c-子空间的概念,证明了Z_c-连续(代数)偏序集对Z_c-闭集是可遗传的,并给出例子说明Z_c-连续偏序集的Z_c-Scott开集通常不是Z_c-连续的。最后我们证明了在特殊的连通集系统下,Z_c-连续(代数)性在既保局部基又保Z_c-集并的映射下保持不变,且Z_c-连续(代数)偏序集的收缩仍是Z_c-连续(代数)偏序集。

伪超连续偏序集

引入了伪超连续偏序集和伪超代数偏序集的概念,讨论了它们的一些基本性质,给出了它们的若干刻画,特别是基于区间拓扑、某种特殊二元关系的刻画和内蕴式刻画。

S_1-代数偏序集

本文引入了S_1-代数偏序集的概念,证明了偏序集为S_1-代数的当且仅当其上S_1-拓扑为强代数格,并证明了S_1-连续domain的S_1-连续收缩仍为S_1-连续domain.

Z-半代数偏序集

引入了Z-半代数偏序集的定义,讨论了Z-半连续偏序的性质,给出了Z-半代数偏序集的刻划定理。证明了Z-半代数偏序集在保Z-并的闭包算子下的像仍是Z半代数偏序集。

有限拟阵的确定

证明了对任一有限集E,可以给C(E)(即E上的拟阵极小圈系的全体)、R(E)(即E上的拟阵秩函数的全体)和F(E)(即E上的拟阵闭集族的全体)上定义适当的序关系,使它们成为与(I(E),)(即E上的拟阵独立集系的全体)同构的偏序集.

HC-偏序集的若干性质

基于超连续格的内蕴式刻画,引入HC-偏序集的概念,讨论了HC-偏序集的一些性质。类似地,作为超代数格的推广,引入了HA-偏序集并讨论其相关性质。