On the hereditary paracompactness of locally compact, hereditarily normal spaces (Q2925376)

In the paper under review, the authors prove the consistency (modulo a supercompact cardinal) of the following statement: ``Every locally compact, hereditarily normal space that does not include a perfect pre-image of \(\omega_1\) is hereditarily paracompact''.NEWLINENEWLINEThe particular case of the above statement when \(X\) is perfectly normal (and hence has no perfect pre-image of \(\omega_1\)) was previously proved by the authors in [Fundam. Math. 210, No. 3, 285--300 (2010; Zbl 1211.54034)]. The set theoretic machinery was improved in order to establish such strengthening: it is proved in the paper under review that \(\mathrm{PFA}^{++}(S)[S]\) -- a quite intricated forcing axiom which deals with orders that do not kill Souslin trees -- implies Fleissner's ``Axiom R''. As remarked by the authors themselves, this is the sixth in a series of papers that ``establish powerful topological consequences in models of set theory obtained by starting with a particular kind of Souslin tree \(S\), iterating partial orders that do not destroy \(S\), and then forcing with \(S\)''.