Tag Archives: compact pospace

Arcs and arc chains

Jimmie Lawson had presented some results about chains in partially ordered spaces at the ISDT conference in 2022, which I wanted to talk about. But this requires Koch’s arc theorem, so I decided to talk about the latter first. That … Continue reading

Posted in Uncategorized | Tagged , , | Comments Off on Arcs and arc chains

The fundamental theorem of compact semilattices

Bounded-complete domains, or bc-domains, are an amazingly rich kind of continuous domains. They form a Cartesian-closed category, and they are the densely injective topological spaces, among other properties. One characterization of bc-domains which I have not included in the book … Continue reading

Posted in Uncategorized | Tagged , | Comments Off on The fundamental theorem of compact semilattices