N-compact frames
We investigate notions of -compactness for frames. We find that the analogues of equivalent conditions defining -compact spaces are no longer equivalent in the frame context. Indeed, the closed quotients of frame ‘-cubes’ are exactly 0-dimensional Lindelöf frames, whereas those frames which satisfy a property based on the ultrafilter condition for spatial -compactness form a much larger class, and better embody what ‘-compact frames’ should be. This latter property is expressible without reference...