Priestley spaces, quasi-hyperalgebraic lattices and Smyth powerdomains (Q2508617)

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.