A direct proof of the Hofmann-Mislove theorem (1994)

by K Keimel, J Paseka
Venue:Proceedings of the AMS 120