Search

By Isbell duality, each compact regular frame L is isomorphic to the frame of opens of a compact Hausdorff space X. In this note we study the spectrum Spec(L) of prime filters of a compact regular frame L. We prove that X is realized as the minimum of Spec(L) and the Gleason cover of X as the maximum of Spec(L). We also characterize zero-dimensional, extremally disconnected, and scattered compact regular frames by means of Spec(L). [ABSTRACT FROM AUTHOR]

We generalize the concept of a strong inclusion on a biframe [Sch93] to that of a proximity on a biframe, which is related to the concept of a strong bi-inclusion on a frame introduced in [PP12b]. We also generalize the concept of a bi-compactification of a biframe [Sch93] to that of a compactification of a biframe, and prove that the poset of compactifications of a biframe L is isomorphic to the poset of proximities on L. As a corollary, we obtain Schauerte's characterization of bi-compactifications of a biframe [Sch93]. In the spatial case this yields Blatter and Seever's characterization of compactifications of completely regular ordered spaces [BS76] and a characterization of bi-compactifications of completely regular bispaces. [ABSTRACT FROM AUTHOR]