Sequential order under PFA (Q2882472)

For a~scattered space~\(X\) the Cantor-Bendixson scattering level~\(X_\alpha\) is defined as the set of relatively isolated points of \(X\setminus\bigcup_{\beta<\alpha}X_\beta\) and the height of~\(X\) is the least~\(\alpha\) for which \(X_{\alpha+1}=\emptyset\). A~space~\(X\) is said to be CB-sequential, if it is sequential, compact, scattered, and points in~\(X_\alpha\) have sequential order~\(\alpha\) with respect to~\(X_0\). The author proves that assuming PFA every CB-sequential space has height~\(\leq\omega\).