TY - RPRT TI - Hofmann-Mislove through the Lenses of Priestley AU - G. Bezhanishvili AU - S. Melzer PY - 2024 DO - 10.1007/s00233-022-10311-4 UR - https://arxiv.org/abs/2205.10891 ID - 2205.10891 ER -