Coherence of Dcpos

Posted on April 2, 2017 by jgl

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.

 

This entry was posted in Uncategorized. Bookmark the permalink.