Monthly Archives: January 2018

Markowsky or Cohn?

I have already mentioned Markowsky’s Theorem (1976): every chain-complete poset is a dcpo.  This is a non-trivial theorem, and I’ve given you a proof of it based on Iwamura’s Lemma and ordinals in a previous post.  Maurice Pouzet recently pointed … Continue reading

Posted in Uncategorized | Comments Off on Markowsky or Cohn?