Scott开滤子相关论文
该文共分两部分.第一部分集中讨论了关于ΣF-core紧的交半格及frame的刻划问题,同时对Σ-core紧的空间式frame的刻划问题进行了初......
本文利用引入的KS性质,刻划了那些其Scott拓扑可由开滤子生成的分配备格.该结果也是对[1]中一公开问题的一种解答.本文的刻划定理对......
弱逼近元在完备格中有许多重要的性质,对于刻划连续格、完全分配格起着重要的作用。在Domain中引入弱逼近元的概念,研究了弱逼近元的......
本文构造了两个例子:(1)利用康托三分集构造了一个非连续的DCPO,这个非连续DCPO关于所有Scott开滤子为子基生成的拓扑是核紧的,T0的,且以......
考察拓扑系统的两种紧性——空间式紧和locale式紧,给出紧性的若干刻画,讨论了两种紧性的相互关系,证明了拓扑系统的两种紧性都是拓扑......