A perfectly normal nonrealcompact space consistent with MA\(_{\aleph_1}\) (Q1880715)

Let \(\vec E=\langle E_\alpha: \alpha\in\text{Lim}(\omega_1)\rangle\) be a~sequence of sets such that \(E_\alpha\)~is a~cofinal subset of~\(\alpha\) for each~\(\alpha\). With each sequence~\(\vec E\) a~topology \(\tau(\vec E)\) on~\(\omega_1\) refining the order topology is determined by open neighbourhoods of ordinals \(\alpha\in\omega_1\) defined by induction: If \(\alpha\) is zero or a~successor ordinal, then \(\{\alpha\}\)~is an open neighbourhood of~\(\alpha\); if \(\alpha\)~is a~limit ordinal and we have defined open neighbourhoods for each \(\xi<\alpha\) contained in \([0,\xi]\), we define the neighbourhoods of~\(\alpha\) to be the sets of the form \(\{\alpha\}\cup\bigcup \{W_\xi:\xi\in E_\alpha\setminus\beta\}\), where \(\beta<\alpha\) and \(W_\xi\)~is a~neighbourhood of~\(\xi\) for \(\xi\in E_\alpha\setminus\beta\). The sequence \(\vec E\) is a~strong \(\tau(\vec E)\)-guessing sequence if for every \(\tau(\vec E)\)-closed set \(F\subseteq\omega_1\) there exists a~closed unbounded set \(D\subseteq\omega_1\) such that \(E_\alpha\subseteq^*F\) for every \(\alpha\in D\cap F\), where \(E_\alpha\subseteq^*F\) means that \(E_\alpha\setminus F\) is bounded in~\(\alpha\). The authors prove the following theorem: If \(\vec E\)~is a~strong \(\tau(\vec E)\)-guessing sequence, the sets~\(E_\alpha\) are closed in the order topology, and every stationary \(\tau(\vec E)\)-closed set contains a~closed unbounded subset of~\(\omega_1\), then the topology \(\tau(\vec E)\) is perfectly normal zero-dimensional and not realcompact. They find a~generic extension by a~countable support iterated forcing such that in the standard finite support iteration model of \(\text{MA}+\neg\text{CH}\) over that extension there is a~sequence~\(\vec E\) satisfying the hypotheses of the theorem.