Jimmie Lawson’s compact interval theorem

We will see a relatively recent theorem of Jimmie Lawson’s: consider a locally compact space X with a semiclosed ordering ≤, and a closed connected chain C inside X; then every closed interval inside C is compact in X. The proof is perhaps surprising, as it relies on Koch’s arc theorem. Read the full post.