Gently killing \(S\)-spaces (Q1424109)

The authors provide a model of ZFC, negatively answering a question of P. Nyikos (is there a separable heriditarily normal, locally compact space of cardinality \(\aleph_1\)?) The basic tool is the use of totally proper notions of forcing that satisfy a special condition, namely the \(\aleph_2\)-p.i.c., which means the properness isomorphism condition. After giving the condition and properties, the main result is stated: in a model \(V[G_{\omega_2}]\), there are no locally compact first countable \(S\)-spaces and it holds that \(2^{\aleph_1}< 2^{\aleph_2}\). Moreover, every locally compact first countable spread is hereditarily Lindelöf.