More on \(\kappa \)-Ohio completeness. (Q2897374)

If \(X\) is a Tychonoff space, then \(X\) is said to be \(\kappa \)-Ohio complete if for every compactification \(\gamma X\) of \(X\) there is a \(G_\kappa \)-set \(S\) in \(\gamma X\) such that \(X\subseteq S\) and for every \(y\in S\setminus X\), there is a \(G_\kappa \)-subset of \(\gamma X\) which contains \(y\) but misses \(X\). It is not known whether or not this property is finitely productive, nor whether it is closed hereditary. After two introductory sections, in Section 3 a characterization is given of those closed subspaces \(Y\) of a \(\kappa \)-Ohio complete space which are \(\kappa \)-Ohio complete in terms of the existence of a certain type of compactification of \(Y\) (called a very \(\kappa \)-good compactification). Products of \(\kappa \)-Ohio complete spaces are studied in Section 4, where among other (mostly negative) results it is shown that if an infinite cardinal \(\kappa ^{+}\) has either the discrete or the order topology, then \((\kappa ^{+})^{\kappa ^{+}}\) is not a \(\kappa \)-Ohio complete space. A number of questions are posed throughout the paper.