Posets uniquely determined by its compact saturated subsets
Abstract
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 by the family of its Scott compact saturated subsets, in the sense that the isomorphism between and implies the isomorphism between and for any poset (or dcpo) , in such case, is called -unique. Quasicontinuous domains are proved to be -unique posets and draw support from which, we provide a class of -unique dcpos. We also define a new kind of posets called and show that every co-sober poset is -unique. It even yields another kind of -unique dcpos. It is gratifying that weakly well-filtered co-sober posets are also -unique. At last, we distinguish among the conditions which make a poset (or dcpo) -unique from each other by some examples; meanwhile, it is confirmed that none of them except the property of being co-sober are necessary for a poset (or dcpo) to be -unique.
Cite
@article{arxiv.2503.02602,
title = {Posets uniquely determined by its compact saturated subsets},
author = {Huijun Hou and Qingguo Li},
journal= {arXiv preprint arXiv:2503.02602},
year = {2025}
}