Strong 0-dimensionality in Pointfree Topology

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Cech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen immediately that a Tychonoff space is strongly 0-dimensional iff the frame of its open sets is strongly 0-dimensional in the present sense. This talk will provide an account of various aspects of this notion.

Localic remote points revisited

We consider remote points in general extensions of frames, with an emphasis on perfect extensions. For a strict extension ?XL ? L determined by a set X of filters in L, we show that if there is an ultrafilter in X then the extension has a remote point. In particular, if a completely regular frame L has a maximal completely regular filter which is an ultrafilter, then ?L ? L has a remote point, where ?L is the Stone-C?ch compactification of L. We prove that in certain extensions associated with radical ideals and l-ideals of reduced f-rings, remote points induced by algebraic data are exactly non-essential prime ideals or non-essential irreducible l-ideals. Concerning coproducts, we show that if M1 ? L1 and M2 ? L2 are extensions of T1-frames, then each of these extensions has a remote point if the extensionM1?M2?L1?L2 has a remote point.

REAL IDEALS IN POINTFREE RINGS OF CONTINUOUS FUNCTIONS

Real ideals of the ring ℜL of real-valued continuous functions on a completely regular frame L are characterized in terms of cozero elements, in the manner of the classical case of the rings C(X). As an application, we show that L is realcompact if and only if every free maximal ideal of ℜL is hyper-real—which is the precise translation of how Hewitt defined realcompact spaces, albeit under a different appellation. We also obtain a frame version of Mrówka’s theorem that characterizes realcompact spaces.

Compactifications and A-compactifications of frames. Proximal frames

The aim of this paper is to give two new descriptions of the ordered set of all (up to equivalence) regular compactifications of a completely regular frame. F and to introduce and study the notion of A-frame as a generalization of the notion of Alexandroff space (known also as zero-set space) (Alexandroff[l], Gordon[15]). A description of the ordered set of all (up to equivalence) A-compactifications of an A-frame by means of an ordered by inclusion set of some distributive lattices (called AP-sublattices) is obtained. It implies that any A-frame has a greatest A-compactification and leads to the descriptions of A new category isomorphic to the category of proximal frames is introduced. A question for compactifications of frames analogous to the R. Chandler's question [8, p. 71] for compactifications of spaces is formulated and solved. Many results of [1], [3], [15], [23], [9], [10] and [11] are generalized.