It is known that every frame is isomorphic to the generalized Gleason algebra of an essentially unique bi-Stonian space (X, σ, τ) in which σ is T0. Let (X, σ, τ) be as above. The specialization order ≤σ, of (X, σ) is τ × τ-closed. By Nachbin's Theorem there is exactly one quasi-uniformity U on X such that ∩U = ≤σ and J(U*) = τ. This quasi-uniformity is compatible with σ and is coarser than the Pervin quasi-uniformity U of (X, σ). Consequently, τ is coarser than the Skula topology of σ and coincides with the Skula topology if and only if U = P.

An ultrafilter completion is constructed for a nearness space. It is shown to preserve the Tl separation axiom. Characterizing conditions are given for it to be topological or for its topology to be compact. It is shown to have the simple extension topology and for a given Hausdorff space a compatible nearness structure is found for which its ultrafilter completion is homeomorphic to the Katetov H-closed extension.

We answer the following problem posed by Herrlich in the affirmative: “Can the Freudenthal compactification be regarded as a reflection in a sensible way?” This is accomplished by exploiting the one-to-one correspondence between proximities compatible with a given Tihonov space and compactifications of that space. We give topological characterizations of proximally continuous functions for the proximities associated with the Freudenthal and Fan-Gottesman compactifications.