Ales Pultr; Jorge Picado;
Sublocale sets and sublocale lattices
We present very short and simple proofs of such facts as co-frame distributivity of sublocales, zero-dimensionality of the resulting co-frames, Isbell's Density Theorem and characteristic properties of fit and subfit frames, using sublocale sets.
Arch. Math. (Brno)