Tag Archives: compact pospace

Koch’s arc theorem

Koch’s arc theorem is a famous theorem saying that, under a few conditions, given any point x of an open subset U of a pospace (X, ≤), one can draw an arc chain from some point on the boundary of … Continue reading

Posted in Uncategorized | Tagged , , , | Comments Off on Koch’s arc theorem

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