Maximal Lindelöf locales (Q2011384)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximal Lindelöf locales |
scientific article |
Statements
Maximal Lindelöf locales (English)
0 references
6 December 2019
0 references
The author characterizes maximal Lindelöfness for subfit and regular frames in the following terms: (1) A subfit frame is maximal Lindelöf if and only if the closed sublocales of the frame are the only ones that are Lindelöf within the class of sublocales that are joins of closed sublocales. (2) A regular frame is maximal Lindelöf if and only if every join of countably many closed sublocales is closed).
0 references
frame
0 references
subframe
0 references
locale
0 references
sublocale
0 references
maximal-Lindelöf frame
0 references
localic map
0 references
closed localic map
0 references
open localic map
0 references