Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-30T20:39:23.398Z Has data issue: false hasContentIssue false

Constructive points of powerlocales

Published online by Cambridge University Press:  01 September 1997

STEVEN VICKERS
Affiliation:
Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ; e-mail: [email protected]

Abstract

Results of Bunge and Funk and of Johnstone, providing constructively sound descriptions of the global points of the lower and upper powerlocales, are extended here to describe the generalized points and proved in a way that displays in a symmetric fashion two complementary treatments of frames: as suplattices and as preframes. Also described here are the points of the Vietoris powerlocale.

In each of two special cases, an exponential $D ($ being the Sierpiński locale) is shown to be homeomorphic to a powerlocale: to the lower powerlocale when D is discrete, and to the upper powerlocale when D is compact regular.

Type
Research Article
Copyright
Cambridge Philosophical Society 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)