Locally compact, _1-compact spaces

DOI10.1016/J.APAL.2023.103324zbMATH Open1528.54009arXiv1712.03906OpenAlexW3003410069MaRDI QIDQ6073902FDOQ6073902

Authors: Peter Nyikos, Lyubomyr Zdomskyy 

Publication date: 12 October 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: An $omeg{a}_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $omeg{a}_1$-compact space is $sigma$-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, $omeg{a}_1$-compact space of cardinality $alep{h}_1$ is $sigma$-countably compact. Whether $alep{h}_1$ can be replaced with $alep{h}_2$ is a difficult unsolved problem. Modulo large cardinals, it is also ZFC-independent whether every hereditarily normal, or every monotonically normal, locally compact, $omeg{a}_1$-compact space is $sigma$-countably compact. As a result, it is also ZFC-independent whether there is a locally compact, $omeg{a}_1$-compact Dowker space of cardinality $alep{h}_1$, or one that does not contain both an uncountable closed discrete subspace and a copy of the ordinal space $omeg{a}_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 $alep{h}_1$, as it is in several theorems.

Full work available at URL: https://arxiv.org/abs/1712.03906

Recommendations

• \(\mathrm{PFA}(S)[S]\) and countably compact spaces
• \(\mathrm{PFA}(S)[S]\) and locally compact normal spaces
• Normality versus paracompactness in locally compact spaces
• Spaces constructed using \(\clubsuit\) and weaker related axioms
• More on perfectly normal non-realcompact spaces

zbMATH Keywords

locally compact spacecountably compact spacenormal spacePID\( \omega_1\)-compact space\( \sigma \)-countably compact space

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Local compactness, (sigma)-compactness (54D45) Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) (54D15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Set Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compactifications and remainders of monotonically normal spaces
• Title not available (Why is that?)
• Normality versus paracompactness in locally compact spaces
• Monotone normality
• An application of Mary Ellen Rudin's solution to Nikiel's conjecture
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hereditary normality versus countable tightness in countably compact spaces
• Antidiamond principles and topological applications
• Title not available (Why is that?)
• Applications of some strong set-theoretic axioms to locally compact T₅and hereditarily scwH spaces
• Title not available (Why is that?)
• More countably compact, locally countable spaces
• A technique for constructing honest locally compact submetrizable examples
• The structure of locally compact normal spaces: some quasi-perfect preimages
• \(L\)-spaces and the \(P\)-ideal dichotomy
• On countably compact, locally countable spaces
• A Boolean view of sequential compactness
• On some weakly compact spaces and their products
• Title not available (Why is that?)
• Hereditarily normal manifolds of dimension greater than one may all be metrizable
• Erratum for “On the consistency of local and global versions of Chang’s Conjecture”

This page was built for publication: Locally compact, \( \omega_1\)-compact spaces

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