可数余定向极大集的若干性质

基于对偶可数连续格对可数余定向极大集进行研究.讨论了对偶可数连续格的一些内部刻画,获得了对偶可数连续格构成完全分配格的一个充分条件,并探究了完全分配格的若干个内部刻画.     

关于两个Cartesian闭范畴交的一点注记

讨论了关于双Scott拓扑的一些性质．证明了范畴BICONT（即以双连续格为对象，以双Scott连续映射为态射的范畴）作为两个Cartesian闭范畴BICONTS（即以双连续格为对象，以Scott连续映射为态射的范畴）和BICONTSop（即以双连续格为对象，以对偶Scott连续映射为态射的范畴）的交范畴不是Cartesian闭范畴．     

有界完备的domain范畴是monadic范畴

一个连续格就是一个完备的连续偏序集,一个有界完备domain则是一个有定向并与非空交的连续偏序集.1975年,Day证明了连续格范畴是集合范畴和T0拓扑空间范畴上的monadic范畴.本文作者把这一结论推广到了有界完备domain范畴:对任意无限基数κ,作者引入了有界完备的κdomain以及相应的Scott κ拓扑的概念,并证明了有界完备的κdomain范畴是集合范畴和T0的κ拓扑空间范畴上的monadic范畴.     

递归集的K-1-度上半格的格嵌入性

本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.     

弱拓扑分子格

目的建立弱拓扑分子格的初步理论。方法运用一一对应的思想和范畴论方法研究弱余拓扑的确定和弱拓扑分子格的范畴性质。结果证明了可以用弱闭包算子确定弱余拓扑,WTML(即弱拓扑分子格与保并连续映射的范畴)和TML(即拓扑分子格与保并连续映射的范畴)都是CL(即完备格与保并映射的范畴)上的拓扑范畴。结论扩展了拓扑分子格理论。     

可数连续格的序同态

文章给出可数定向极小集的概念,并由此得到可数连续格序同态的一个刻画.     

完备半格范畴的反射与余反射子范畴

构造性地证明了以有左（右）伴随的Ｓｃｏｔｔ连续函数为态射的连续完备半格范畴和Ｓｃｏｔｔｄｏｍａｉｎ范围,是完备半格范畴的余反射（反射）子范畴。     

可数连续格上的两个扩张定理

给出了可数定向极小集的概念,并由此得到了可数连续格序同态的两个扩张定理.     

LF拓扑空间的几乎可数性

本文推广了文[2]的几乎可数性。讨论了几乎可数性与相应可数性的关系。对一类较广泛的ω—并生成格证明了诱导空间是几乎第二可数性(几乎第一可数,几乎可分)的充要条件是底空间具有相应的几乎可数性,因此这种推广是 Lowen 意义下好的推广。     

完全二叉树理论的模型及性质

定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.