TY - RPRT TI - On sobriety of Scott topology on dcpos AU - Xiaoquan Xu PY - 2022 UR - https://arxiv.org/abs/2211.15027 ID - 2211.15027 ER -