A note on continuous partially ordered sets (Q2367896)

The notion of a continuous lattice as a model for the semantics of programming languages was introduced by D. Scott. Later, a more general notion of a continuous dcpo was introduced. In this note, our work is based on an even more general notion of a continuous poset, which is called a precontinuous poset and defined by \textit{K. Hrbacek} [Algebra Univers. 28, 230-244 (1991; Zbl 0747.06005)]. The purpose of this note is to show that a known necessary condition for a partially ordered set to be continuous is actually sufficient. In so doing, we introduce the notion of weak local compactness for a poset, and show, by an example, that the class of locally compact posets is proper in the class of weakly locally compact posets.