On properties of compacta that do not reflect in small continuous images (Q517124)

A stationary subset \(S\) in \(\omega_2\) is said to \textsl{reflect} if for some ordinal \(\beta<\omega_2\) with \(cf(\beta)=\omega_1\), \(S\cap \beta\) is stationary in \(\beta\). The set-theoretic axiom \(\square_{\omega_1}\) implies the existence of a stationary subset of \(S\subseteq \omega_2\) each element of which is of countable cofinality and which does not reflect in any ordinal \(\beta<\omega_2\) with cf(\(\beta)=\omega_1\). The main result of this paper is to construct, assuming such a stationary set exists, a compact space which is not a Corson compactum with the property that all of its continuous images of weight at most \(\omega_1\) are Eberlein compacta. This example answers negatively two questions of \textit{M. G. Tkachenko} and \textit{V. V. Tkachuk} [Houston J. Math. 43, No. 4, 1273--1289 (2017; Zbl 1394.54002)]. In the final section, assuming that \([0,1]\) cannot be covered by \(\omega_1\) null sets (a consequence of Martin's Axiom), an example is constructed to show that there is a compact space whose functional tightness is uncountable, but all of whose continuous images of weight at most \(\omega_1\) have countable functional tightness. That is to say, functional tightness does not reflect in small continuous images of compact spaces, thus giving a partial answer to another question formulated in the paper cited above.