The answers to two problems on dcpo models
Abstract
A poset model of a topological space is a poset such that is homeomorphic to the maximal point space of (the set Max() of all maximal points of equipped with the relative Scott topology of ). Xi and Zhao proved that if a space has a dcpo model satisfying Lawson condition, it must be coherent and well-filtered. It is still open wether every coherent and well filtered space has a dcpo model satisfying Lawson condition. In this paper, we answer this problem. In another paper, Xi and Zhao proved that every Hausdorff k-space has a bounded complete dcpo model. It is, however, still unknown whether it is true that if a Hausdorff space is a k-space if it has a bounded complete dcpo model. We will construct a Hausdorff space which is not a k-space but has a bounded complete dcpo model.
Cite
@article{arxiv.2607.25715,
title = {The answers to two problems on dcpo models},
author = {Chong Shen and Xiaoyong Xi and Dongsheng Zhao},
journal= {arXiv preprint arXiv:2607.25715},
year = {2026}
}