Locally compact, ω1-compact spaces

• Published in: Annals of pure and applied logic 2024-01, Vol.175 (1), p.103324, Article 103324
• Main Authors: Nyikos, Peter, Zdomskyy, Lyubomyr
• Format: Article
• Language: English
• Subjects: [formula omitted]-compact; Countably compact; Locally compact; Normal; PID; σ-countably compact
• ISSN: 0168-0072
• DOI: 10.1016/j.apal.2023.103324

An ω1-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, ω1-compact space is σ-countably compact, i.e., the union of countably many countably compact spaces. These conditions involve very elementary properties. Many results shown here are independent of the usual (ZFC) axioms of set theory, and the consistency of some may involve large cardinals. For example, it is independent of the ZFC axioms whether every locally compact, ω1-compact space of cardinality ℵ1 is σ-countably compact. Whether ℵ1 can be replaced with ℵ2 is a difficult unsolved problem. Modulo large cardinals, it is also ZFC-independent whether every hereditarily normal, or every monotonically normal, locally compact, ω1-compact space is σ-countably compact. As a result, it is also ZFC-independent whether there is a locally compact, ω1-compact Dowker space of cardinality ℵ1, or one that does not contain both an uncountable closed discrete subspace and a copy of the ordinal space ω1. Set theoretic tools used for the consistency results include the existence of a Souslin tree, the Proper Forcing Axiom (PFA), and models generically referred to as “MM(S)[S]”. Most of the work is done by the P-Ideal Dichotomy (PID) axiom, which holds in the latter two cases, and which requires no large cardinal axioms when directly applied to topological spaces of cardinality ℵ1, as it is in several theorems.