TY - RPRT TI - The set of real numbers with the cocountable topology has a bounded complete dcpo model AU - Dongsheng Zhao AU - Chong Shen AU - Xiaoyong Xi PY - 2026 UR - https://arxiv.org/abs/2608.03124 ID - 2608.03124 ER -