activity
20212026
most citedNot every countable complete lattice is sober

1 citations · 1 across the 8 of their papers we have counts for

collaborators

9 papers

math.GN2026

A Universal Quasi-Polish Space

Su Gao, Qingguo Li, Hualin Miao

In this paper, we first construct a universal quasi-Polish space Y with the property that every quasi-Polish space is homeomorphic to a closed subspace of Y. This gives a hyperspac…

math.GN2024

-well-filtered spaces, revisited

Hualin Miao, Xiaodong Jia, Ao Shen +1

We prove that a 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 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.GN2023

The core compactly generated topology

Qingguo Li, Hualin Miao

M. Escardó et al. asked whether the core compactly generated topology of a sober space is again sober and the sobrification of a core compactly generated space again core compactly…

math.GN2022

One-step closure, weak one-step closure and meet continuity

Hualin Miao, Qingguo Li, Dongsheng Zhao

This paper studies the weak one-step closure and one-step closure properties concerning the structure of Scott closures. We deduce that every quasicontinuous domain has weak one-st…

math.GN2022★ 1 cited

Not every countable complete lattice is sober

Hualin Miao, Xiaoyong Xi, Qingguo Li +1

The study of the sobriety of Scott spaces has got an relative long history in domain theory. Lawson and Hoffmann independently proved that the Scott space of every continuous direc…

math.GN2021

On some open problems concerning strong d-spaces and super H-sober spaces

Mengjie Jin, Hualin Miao, Qingguo Li

In this paper, we highlight some open problems stated by Xu and Zhao. In particular, we focus on strong -spaces and answer two open problems concerning strong -spaces. One is…

math.GN2021

D-completion, well-filterification and sobrification

Hualin Miao, Longchun Wang, Qingguo Li

In this paper, we obtain some sufficient conditions for the D-completion of a T0 space to be the well-filterification of this space, the well-filterification of a T0 space to be th…