stably locally compact

Definition

• A locally compact sober space is called stably locally compact if the whole space is compact and the intersection of any two compact subspaces is again compact.

Reference

• Taylor, Paul , Computably based locally compact spaces.[J] Log. Methods Comput. Sci. 2, No. 1, Paper 1, 70 p., electronic only (2006).