Compactifications of partial frames via strongly regular ideals

摘要

Partial frames provide a fertile context in which to do pointfree structured and unstructured topology, using a small collection of axioms of an elementary nature. Amongst other things they can be used to investigate similarities and differences between frames, ??-frames and ?o-frames.