Locally nice spaces and Axiom \(R\) (Q1862094): Difference between revisions

The author proves several consistency results regarding the following question: Does every nonparacompact, locally Lindelöf space have a small nonparacompact subspace? The author proves in Section 1 of the paper that the answer is ''yes'' under Fleissner's Axiom \(R\); he shows that under Axiom \(R\) every nonparacompact, locally Lindelöf space has an open, nonparacompact subspace of Lindelöf degree \(\omega_1\). The consequent question is whether every nonparacompact, locally Lindelöf space of Lindelöf degree \(\omega_1\) has a nonparacompact space of size \(\omega_1\). In Section 2, this second question is answered in the affirmative under Axiom \(R\) and the additional assumption of normality. Some other interesting results of Section 3 of the paper are shown under the assumption of \((MA(\omega_1) +\text{Axiom } R)\) or \((MA(\omega_1) +\text{TOP}+ \text{Axiom } R)\), respectively: Let \(X\) be a nonparacompact, hereditarily strongly collectionwise Hausdorff, locally compact space. Then \(X\) contains a perfect pre-image of the ordinal space \(\omega_1\). Let \(X\) be a hereditarily strongly \(\omega_1\)-collectionwise Hausdorff, locally Lindelöf space with a countably tight compactification \(X^*\). Then \(X\) is paracompact. The excellent paper is closed by some examples and by an unsolved question: Let \(X\) be a locally Lindelöf space with \(t(X)=\omega\) such that every subspace of \(X\) of cardinality \(\leq\omega_1\) is paracompact. Is this consistent with \(X\) being paracompact?