3 papers
math.GN2026
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…
math.GN2025
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…
cs.LO2024
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…