4 papers
Stone duality of Lawson compact algebraic L-domain
Huijun Hou, Ao Shen
In this paper, a subclass of bounded distributive lattices, that is, finitely disjunctive distributive lattices (FDD-lattices) have been introduced. Then we apply it to establish a…
Posets uniquely determined by its compact saturated subsets
Huijun Hou, Qingguo Li
Inspired by Zhao and Xu's study on which a dcpo can be determined by its Scott closed subsets lattice, we further investigate whether a poset (or dcpo) is able to be determined…
The category of well-filtered dcpos is not -faithful
Hualin Miao, Huijun Hou, Xiaodong Jia +1
The Ho-Zhao problem asks whether any two dcpo's with isomorphic Scott closed set lattices are themselves isomorphic, that is, whether the category of dcpo's and Sco…
Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos
Huijun Hou, Qingguo Li
Prior work [11] established a commutativity result for the Hoare power construction and a modified version of the Smyth power construction consisting of strongly compact sets, whic…