Tag Archives: continuous dcpo

All countable continuous dcpos are algebraic

A little pearl this month: as the title says, all countable continuous dcpos are algebraic. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on All countable continuous dcpos are algebraic

Compact semilattices without small semilattices I: interval homomorphisms, products, and the Hoare hyperspace

I have already talked about compact semilattices before, but there is a lot more to say, especially on the subject of having small semilattices or not. Zhenchao Lyu is joining me this month, and we will pursue this next month. … Continue reading

Posted in Uncategorized | Tagged , , , , , | Comments Off on Compact semilattices without small semilattices I: interval homomorphisms, products, and the Hoare hyperspace