Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains (Q2508617)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains |
scientific article |
Statements
Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains (English)
0 references
13 October 2006
0 references
The authors introduce the notion of a quasi-hyperalgebraic lattice (always assumed to be complete) and give several equivalences, among them the condition that the lattice be a quasialgebraic one for which the upper and Scott topologies agree. It is shown that the quasi-algebraic lattices are precisely the ones that are Priestley spaces with repect to their interval topologies. The authors also show that the Smyth powerdomain of a quasi-hyperalgebraic lattice is hyperalgebraic.
0 references
Priestley space
0 references
hypercontinuous lattice
0 references
quasi-hyperalgebraic lattice
0 references
Smyth powerdomain
0 references