4 papers
One-step Closure, Ideal Convergence and Monotone Determined Space
Wu Wang
Monotone determined spaces are natural topological extensions of dcpo. Its main purpose is to build an extended framework for domain theory. In this paper, we study the one-step cl…
Continuity of Powerspaces Structures in Directed Spaces
Wu Wang
Powerspaces of directed spaces play an important role in modeling the semantics of nondeterministic functional programming languages. The notions of upper,lower and convex powerspa…
QFS-space and its properties
Wu Wang
In this paper, the concept of quasi-finitely separating map and quasiapproximate identity are introduced. Based on these concepts, QFS-spaces and quasicontinuous maps are defined.…
Generalized ideal convergence on quasi-continuous domains
Wu Wang, Bin Tan, Shun Zhang
In this paper,the concepts of generalized ideal inf-limit and generalized ideal final lower bound limit are introduced in the directed complete poset,and their relations with Scott…