Monthly Archives: April 2017

Bounded complete and dcpo models of T1 spaces

The nice thing about colleagues is that, sometimes, they give me a primer on their latest results.  I would like to talk about a strange result by Dongsheng Zhao and Xiaoyong Xi, which, while accepted for publication, does not seem … Continue reading

Posted in Uncategorized | Comments Off on Bounded complete and dcpo models of T1 spaces

Coherence of Dcpos

It had been a long time since I wanted to explain a nifty result by Jia, Jung, and Li (2016), which gives a simple test for whether a given well-filtered dcpo is coherent.  The proof, in particular, is extremely nifty.  … Continue reading

Posted in Uncategorized | Comments Off on Coherence of Dcpos