TY  - RPRT
TI  - A complete Heyting algebra whose Scott space is non-sober
AU  - Xiaoquan Xu
AU  - Xiaoyong Xi
AU  - Dongsheng Zhao
PY  - 2019
UR  - https://arxiv.org/abs/1903.00615
ID  - 1903.00615
ER  -