Characterization of posets for liminf convergence being topological
In this paper, the authors supply an example to illustrate that a dcpo in which the liminf convergence is topological may not be continuous, and proved that a poset is continuous if and only if it is meet continuous and the liminf convergence is topological and the Lawson topology equals the liminf topology. In particular, the authors obtain a complete characterization of posets for the liminf convergence being topological. These results are interesting and extend the framework of domain theory.
scientific article; zbMATH DE number 7318669