Paracompactness and remainders: around Henriksen-Isbell's theorem (Q2928816)

A well-known theorem of Henriksen and Isbell states that a Tychonoff space is of countable type iff some\slash every remainder of it is Lindelöf. The authors investigate this duality further, especially for spaces that are nowhere locally compact: assume \(B\)~is compact and both \(X\) and \(B\setminus X\) are dense in~\(B\) (hence both are nowhere locally compact), if \(X\)~is \(\sigma\)-paraLindelöf and \(B\setminus X\)~is of subcountable type then \(X\)~is Lindelöf and \(B\setminus X\)~is of countable type. Note: (sub)countable type means that every compact sets is contained in a compact set with a countable neighbourhood base (that is a \(G_\delta\)-set). They go on to apply this to provide further conditions on remainders that imply that the space is Lindelöf, or even separable metrizable.