Monthly Archives: April 2017

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 →

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 →