A note on continuous partially ordered sets

DOI10.1007/BF02573745MaRDI QIDQ2367896zbMATH OpenFDO

Authors Han Zhang

Publication date 17 August 1993

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/135258

zbMATH Keywords

continuous poset locally compact posets precontinuous poset weak local compactness

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Review text

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.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: A note on continuous partially ordered sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367896)