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 to be out yet. (Thanks to D. Zhao for letting me know about this!) I have already talked about models of topological spaces. Following earlier results by Zhao, Xi, and Erné, one can show that every T1 space has a bounded complete, and even algebraic, poset model, and that every T1 space has a (not bounded complete) dcpo model, but can we have both at the same time? In other words, does every T1 space have a bounded complete dcpo model? Answer (and explanations) in the full post…
Monthly Archives: April 2017
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. Read the full post.