TY - RPRT TI - A countable metric space whose Hoare power space is not co-sober AU - Xiaoquan Xu AU - Wei Ji PY - 2026 UR - https://arxiv.org/abs/2610.05868 ID - 2610.05868 ER -