\(\mathrm{PFA}(S)[S]\) and locally compact normal spaces (Q388823)

Let \(S\) be a coherent Souslin tree. \({\mathrm{PFA}} (S)\) denotes the statement saying that the proper forcing axiom \({\mathrm{PFA}}\) holds for all proper partial orders that preserve \(S\). \textit{T. Miyamoto} [Fundam. Math. 142, No. 3, 257--261 (1993; Zbl 0809.03037)] proved that the consistency of \({\mathrm{PFA}}(S)\) can be obtained from a supercompact cardinal like the consistency of \({\mathrm{PFA}}\). The notation \({\mathrm{PFA}}(S)[S]\) is used for models obtained by forcing with \(S\) over a model of the forcing axiom \({\mathrm{PFA}}(S)\). Say that \({\mathrm{PFA}}(S)[S]\) implies a statement \(\varphi\) if \(\varphi\) holds in every model of the form \({\mathrm{PFA}} (S)[S]\). The author investigates locally compact normal spaces in models of the form \({\mathrm{PFA}} (S)[S]\) and provides many characterizations of such spaces with additional properties in such models. A sample result says that there is a model of the form \({\mathrm{PFA}} (S)[S]\) in which a locally compact normal space is paracompact and countably tight if and only if its separable closed subspaces are Lindelöf and it does not include a perfect pre-image of \(\omega_1\). Some results involve axioms implied by \({\mathrm{PFA}} (S)[S]\) like the P-ideal dichotomy, others involve axioms, like Axiom R, true in some model of the form \({\mathrm{PFA}}(S)[S]\). Further results are about the non-existence of locally compact Dowker spaces (that is, normal spaces whose product with the unit interval is not normal) in models of the form \({\mathrm{PFA}} (S) [S]\). For example, the author shows that \({\mathrm{PFA}} (S) [S]\) implies that there is no locally compact Dowker space which includes no perfect pre-image of \(\omega_1\) and has Lindelöf number \(\leq \aleph_1\).