强Z-拟连续偏序集的权与Z-嵌入基数

在集论ZF+DC中,我们给出了强Z-拟连续偏序集P到单位闭区间[o,1]的Z-态射的一个直接的构造法,证明了p到[o,1]的Z-态射全体强分离P中的点.该文引入了Z-完备偏序集P的权ω(P)和p的Z-嵌入基数λ_z(P),证明了:(1)若P为完备格,λ_z(P)>0,则ω(P)≤max{ω,λ_z(P)};(2)若尸为强Z-拟连续偏序集,则0<λ_z(P)≤ω(P)^(2);(3)若p为强Z-拟连续偏序集,ω(P)≤ω,则p可用保任意交与Z-并映射(简称为IZ^(+)-映射)嵌入到Hilbert方体[o,1]_(?)之中.若进一步P为完备格,则反之也成立.

广义Z-拟连续偏序集的若干性质

讨论了广义Z-拟连续偏序集的一些性质。利用伴随给出了广义Z-拟连续偏序集的等价刻画。证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集。

Rudin性质与拟Z-连续Domain

对一般子集系统 Z,引入了 Rudin性质,给出了它的映射式刻划,作为拟连续偏序集和Z-连续偏序集的公共推广,引入了拟Z-连续Domain的概念,讨论了拟Z-连续Domain的基本性质,特别地,给出了 Rudin性质及其映射式刻划在拟 Z-连续Domain方面的若干应用,将关于拟连续偏序集的主要结果推广至了拟 Z-连续 Domain情形。

拟Z-连续Domain的基

基于一般子集系统Z,引入了拟Z-连续Domain基的概念,讨论了拟Z-连续Domain基的一些映射性质,将关于拟连续偏序集的一些性质推广到了拟Z-连续Domain.

拟Z-极小集及其应用

定义了拟Z-极小集,并证明了拟Z-连续Domain的每个元都有拟Z-极小集,在拟Z-连续Domain中,给出了保拟Z-极小集映射的几个等价刻画,并且在此基础上,运用Rudin性质,得到了拟Z-连续Domain上的两个相应扩张定理。

Z-子集系统的一些性质

主要研究了Ｚ－子集系统，得到了下列性质：１）Ｚ－连续偏序集和Ｚ－拟连续偏序集的刻划定理；２）关于Ｚ－子格，Ｚ－子代数和Ｚ－代数的性质；

拟Z-连续domain和Z-交连续domain

对一般子集系统Z,引入了Rudin性质、拟Z-连续domain及Z-交连续 domain的概念,讨论了它们的基本性质.特别是Z-连续性、拟Z-连续性、 Z-交连 续性和Z-Lawson拓扑之T2性之间的相互关系. 证明了当子集系统Z满足一定条件 时,拟Z-连续domain P上的Z-way below关系Z具有插入性质, P上的Z-Lawson 拓扑λZ(P)是T2的,且P可用Z-Lawson同态嵌入到某方体之中.文中给出了一个 domain P,其上的Lawson拓扑λ(P)是T2的,但P不是拟连续性domain.

拟Z-半连续格

在广义理想子集系统的基础上,对Z-半连续格和拟半连续格作公共推广,引入了拟Z-半连续格的概念,讨论了拟Z-半连续格上的相关性质。