Topological spaces whose properties are undefined in ZFC (Q803566)

In the paper under review there are constructed and investigated topological spaces some properties of which are undecidable in ZFC. In particular there is considered the space \(V_{\tau}\) consisting of the product \(\omega\times \tau\) endowed with the discrete topology and a point p which has the neighbourhood base consisting of the sets of the form \(U_ f=\{(k,\alpha):\;k\geq f(\alpha)\}\cup \{p\},\) where f is a function from \(\tau\) to \(\omega\). Answering a question posed by \textit{A. V. Arkhangel'skij} the author proves that the tightness of \(V_{\omega}\times V_{\omega_ 1}\) is countable whenever every subset of \(\omega^{\omega}\) of size not greater than \(\omega_ 1\) is bounded. On the other hand there is known that the tightness of \(V_{\omega}\times V_{2^{\omega}}\) is uncountable [\textit{A. V. Arkhangel'skij}, Doklady Akad. Nauk SSSR 206, 265-268 (1972; Zbl 0275.54004)]. Hence the tightness of \(V_{\omega}\times V_{\omega_ 1}\) is undecidable in ZFC.