Qingguo Li

activity

20232025

collaborators

5 papers

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) $P$ is able to be determined…

math.GN2024

$ω$ -well-filtered spaces, revisited

Hualin Miao, Xiaodong Jia, Ao Shen +1

We prove that a $T_{0}$ topological space is $ω$ -well-filtered if and only if it does not admit either the natural numbers with the cofinite topology or with the Scott topology as it…

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 $DCPO$ of dcpo's and Sco…

math.GN2024

Products of two sober dcpo's need not be sober

Hualin Miao, Xiaoyong Xi, Xiaodong Jia +2

We construct two dcpo's whose Scott spaces are sober, but the Scott space of their order product is not sober. This answers an open problem on the sobriety of Scott spaces. Meantim…

math.CT2023

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…

Posets uniquely determined by its compact saturated subsets

ω-well-filtered spaces, revisited

The category of well-filtered dcpos is not Γ-faithful

Products of two sober dcpo's need not be sober

Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos

$ω$ -well-filtered spaces, revisited

The category of well-filtered dcpos is not $Γ$ -faithful