A Hofmann-Mislove theorem for -well-filtered spaces
arXiv:2211.07972 · doi:10.46298/entics.10369
Abstract
The Hofmann-Mislove theorem states that in a sober space, the nonempty Scott open filters of its open set lattice correspond bijectively to its compacts saturated sets. In this paper, the concept of -well-filtered spaces is introduced. We show that a retract of a -well-filtered space is -well-filtered and a locally Lindelöf and -well-filtered -space is countably sober. In particular, we obtain a Hofmann-Mislove theorem for -well-filtered spaces.