@misc{indiciae5d25edad240b,
  title = {A complete Heyting algebra whose Scott space is non-sober},
  author = {Xiaoquan Xu and Xiaoyong Xi and Dongsheng Zhao},
  year = {2019},
  url = {https://arxiv.org/abs/1903.00615},
  note = {Source identifier: 1903.00615}
}