Compactness and Symmetric Well Orders

DOI10.4064/BA230424-28-12arXiv2207.13455WikidataQ129773327 ScholiaQ129773327MaRDI QIDQ6506327FDOQ6506327

Authors: Abhijit Dasgupta 

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,au)$ to be St"ackel-compact if there is some linear ordering $prec$ on $X$ such that every non-empty $au$-closed set contains a $prec$-least and a $prec$-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 $<omeg{a}_2$ under ZFC. Under V=L, the equivalence holds in all scattered spaces.

Mathematics Subject Classification ID

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

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)