强Raney偏序集

引入强Raney偏序集的概念,讨论了强Raney偏序集的一些性质,证明了强Raney偏序集为超代数偏序集,定向完备的偏序集为强Raney偏序集当且仅当它既是Raney偏序集也是A-偏序集.     

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

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

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

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

H-代数偏序集

本文引入了H-代数偏序集的概念,讨论了它的一些基本性质。得到如下主要结果:(1)举例说明了代数偏序集未必是H-代数偏序集;(2)偏序集是H-代数偏序集当且仅当强紧元是它的强基;(3)偏序集是H-代数偏序集当且仅当它的局部Scott拓扑是强代数格。     

Frink代数偏序集

引入了Frink代数偏序集的概念,讨论了它的一些性质,给出了它的若干刻画,特别地,证明了Frink代数偏序集的正规完备化δ(P)为代数格。     

C_Z-偏序集

我们将强Z-连续偏序集推广到了CZ-偏序集,并讨论了CZ-偏序集和强Z-连续偏序集之间的关系。同时我们定义了CZ-偏序集上的CZ-连续映射,得到CZ-偏序集在该映射下的像集仍是CZ-偏序集。最后,我们讨论了CZ-偏序集上的基及其相关性质。     

Z-半代数偏序集

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

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

S_1-代数偏序集

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

关于连续偏序集的一个刻画定理(英文)

本文给出了连续偏序集的一个刻画定理及相应的代数偏序集刻画定理.进一步得出连续偏序集P关于其Scott拓扑是局部紧的,而且OFilt(P)是一个domain.这推广了关于dcpo的对应结果.     

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

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

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

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

Frink拟代数偏序集

引入了Frink拟代数偏序集的概念,讨论了它的一些性质,给出了它的若干刻画,特别地,证明了Frink拟代数偏序集的正规完备化为拟代数格。     

偏序集的代数完备

引进一个偏序集的代数完备, 并且构造任意偏序集的一个代数完备.有最小元的并半格的代数完备正好是它的理想完备. 一个偏序集的代数完备同构于它的一个由下集作为元的完备格,并且这个完备格包含所有主理想. 基于代数完备的Galois联络的下扩张仍然是一个Galois联络.     

偏序集的φ-(交)连续性及其主理想刻画

证明φ-完备偏序集是（强）P连续的当且仅当该偏序集的任一主理想是（强）φ-连续的。在φ-完备偏序集中利用φ-S集族生成f-Scott拓扑，并由此引入φ-交连续偏序集概念。证明φ-完备偏序集是P交连续的当且仅当该偏序集的任一主理想是φ-交连续的。     

软代数2~X的特征

本文通过讨论有限偏序集Ｘ与基数幂２Ｘ的关系得到２Ｘ可定义成软代数的充要条件是Ｘ可定义成软偏序集．且软代数２Ｘ的型数与软偏序集Ｘ的型数相同．     

HC-偏序集的若干性质

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

群的一个Domain结构

群可以通过在其上赋予循环群拓扑构造群的Domain模型，从而实现群的可计算性。群上的循环群偏序集及其对偶都是连续的偏序集，这个连续偏序集是代数Domain的充分必要条件是群的单位元是代数元。如果在pseudo-有限的群G及其循环群偏序集的对偶￡^op[G]上分别赋予循环群拓扑和Scott拓扑，那么恒同函数是连续的。     

元素个数不超过6的真伪BCK-代数

研究元素个数不超过6的真伪BCK-代数的计数问题.首先,证明了在元素个数不超过3的偏序集上不存在真伪BCK-代数.其次,引入NP-型偏序集(不存在真伪BCK-代数的含重大元的偏序集)、偏序集的层、次余原子等概念,证明了在一个层数n≤3的NP-型偏序集上添加孤立余原子(或孤立次余原子或上邻元的个数n≥3的极小次余原子)后得到的偏序集也是NP-型偏序集,由此得到26种NP-型偏序集(元素个数n≤6).最后,借助Matlab软件编程计算得出所有非同构的元素个数不超过6的真伪BCK-代数,其中元素个数为4的真伪BCK-代数2个,元素个数为5的真伪BCK-代数34个,元素个数为6的真伪BCK-代数631个.     

偏序集上的Mobius反演公式（续）

偏序集上的Ｍｏｂｉｕｓ反演公式（续）万哲先（中国科学院）５局部有限偏序集上的关联代数和推广的Ｍｏｂｉｕｓ反演公式局部有限偏序集Ｐ上的Ｍｏｂｉｕｓ函数可以看作是Ｐ上的关联代数中的元素，现在先给出关联代数的定义．定义７设Ｐ是局部有限偏序集，Ｒ是有单位元１...