Abstract
The cover definition of compactness is basically point-free; therefore there is no surprise that the basic facts are very much like in the classical case. But a surprise does come: the point-free variant of Stone-?Cech compactification is fully constructive (no choice principle and no use of the excluded middle). Thus in particular, the fact that products of compact (regular) locales are compact is constructive, unlike the Tychonoff Theorem of classical topology (see Section 4 – in particular 4.5 and 6.5).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer Basel AG
About this chapter
Cite this chapter
Picado, J., Pultr, A. (2012). Compactness and Local Compactness. In: Frames and Locales. Frontiers in Mathematics. Springer, Basel. https://doi.org/10.1007/978-3-0348-0154-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0154-6_7
Published:
Publisher Name: Springer, Basel
Print ISBN: 978-3-0348-0153-9
Online ISBN: 978-3-0348-0154-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)