A note on continuous partially ordered sets (Q2367896)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on continuous partially ordered sets |
scientific article |
Statements
A note on continuous partially ordered sets (English)
0 references
17 August 1993
0 references
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.
0 references
continuous poset
0 references
precontinuous poset
0 references
weak local compactness
0 references
locally compact posets
0 references