2017/12/11 by Peter Nyikos, Nyikos, Peter, Lyubomyr Zdomskyy +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Logic, Reasoning, and Knowledge #Computability, Logic, AI Algorithms
paper · pdf · doi:10.48550/arxiv.1712.03906
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 one 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.