Definition
- A topological space is called stably compact if it is;
- T_0
- compact;
- locally compact;
- coherent, that is, intersections of compact saturated sets are compact;
- well-filtered, that is, if the intersection of a filter base of compact saturated sets is contained in an open set, then so is some C_i already.
Reference
- Achim Jung and M. Andrew Moshier, On the bitopological nature of Stone duality (2006)