Skip to main content
Article thumbnail
Location of Repository

Compactness in locales and in formal topology.

By Steven Vickers


If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and suffcient condition is derived for compactness of the locale (and also forits openness). Although its derivation uses impredicative constructions, it is also shown predicatively using the inductive generation of formal topologies. A predicative proof of the binary Tychonoff theorem is given,including a characterization of the finite covers of the product by basic opens. The discussion is then related to the double powerlocale

Topics: Q Science (General), QA Mathematics
Publisher: Elsevier
Year: 2005
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.