Compactness and Symmetric Well Orders

Compactness (54D30) Other classical set theory (including functions, relations, and set algebra) (03E20) Other set-theoretic hypotheses and axioms (03E65)

Abstract: We introduce and investigate a topological version of St"ackel's characterization of finite sets, with the goal of obtaining an interesting notion that characterizes or is a close variant of compactness. Define a

T_{2}

topological space

(X, a u)

to be St"ackel-compact if there is some linear ordering

p r e c

on

X

such that every non-empty

a u

-closed set contains a

p r e c

-least and a

p r e c

-greatest element. We find that compact spaces are St"ackel-compact but not conversely, and St"ackel-compact spaces are countably compact. The equivalence of St"ackel-compactness with countable compactness remains open, but our main result is that this equivalence holds in scattered spaces of Cantor-Bendixson rank

< o m e g a_{2}

under ZFC. Under V=L, the equivalence holds in all scattered spaces.

This page was built for publication: Compactness and Symmetric Well Orders

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6506327)