Uniformities and covering properties for partial frames (II)

-

This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in the form of $sels$-covers and nearness. Here, in the unstructured setting, we consider regularity, normality and compactness, expressing all these properties in terms of $sels$-covers. We see that an $sels$-frame is normal and regular if and only if the collection of all finite $sels$-covers forms a basis for an $sels$-uniformity on it. Various results about strong inclusions culminate in the proposition that every compact, regular $sels$-frame has a unique compatible $sels$-uniformity.