Normality versus paracompactness in locally compact spaces

DOI10.4153/CJM-2017-006-XzbMATH Open1394.54003arXiv1607.04364MaRDI QIDQ4609541FDOQ4609541

Authors: Alan Dow, Franklin D. Tall 

Publication date: 4 April 2018

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Abstract: This note provides a correct proof of the result claimed by the second author that locally compact normal spaces are collectionwise Hausdorff in certain models obtained by forcing with a coherent Souslin tree. A novel feature of the proof is the use of saturation of the non-stationary ideal on omega_1, as well as of a strong form of Chang's Conjecture. Together with other improvements, this enables the characterization of locally compact hereditarily paracompact spaces as those locally compact, hereditarily normal spaces that do not include a copy of omega_1.

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

Recommendations

• On the hereditary paracompactness of locally compact, hereditarily normal spaces
• Locally compact perfectly normal spaces may all be paracompact
• On Collectionwise Normality of Locally Compact, Normal Spaces
• Locally compact, countably paracompact spaces in the constructible universe
• Paracompactness in perfect, locally Lindelöf spaces

zbMATH Keywords

moving off propertynormallocally compactparacompactcountably tightPFA(S)[S]collectionwise HausdorffAxiom RMartin's maximumforcing with a coherent Souslin tree

Mathematics Subject Classification ID

Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Noncompact covering properties (paracompact, Lindelöf, etc.) (54D20) Large cardinals (03E55) Local compactness, (sigma)-compactness (54D45) Continuum hypothesis and Martin's axiom (03E50) Generic absoluteness and forcing axioms (03E57)

Cited In (18)

• A variant of Shelah's characterization of strong Chang's conjecture
• Locally compact perfectly normal spaces may all be paracompact
• Quasi-paracompactness and product spaces
• PFA(S)[S] and the Arhangel'skii-Tall problem
• Normality and paracompactness of the Fell topology
• Locally Compact Normal Metalindelof Spaces May Not be Paracompact: An Application of Uniformization and Suslin Lines
• Title not available (Why is that?)
• Locally compact, countably paracompact spaces in the constructible universe
• Locally compact, \( \omega_1\)-compact spaces
• Some observations on the Baireness of \(C_{k}(X)\) for a locally compact space \(X\)
• On relative properties of paracompactness and normality type
• \(\text{PFA}(S)[S]\) for the masses
• On the hereditary paracompactness of locally compact, hereditarily normal spaces
• Gently killing \(S\)-spaces
• \(\mathrm{PFA}(S)[S]\) and countably compact spaces
• Paracompactness in normal, locally connected, rim-compact spaces
• Title not available (Why is that?)
• \(\mathrm{PFA}(S)[S]\) and locally compact normal spaces

This page was built for publication: Normality versus paracompactness in locally compact spaces

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