Uniform powers of compacta and the proximal game (Q2400878)

The authors answer a question of P. Nyikos proving that if \(X\) is a proximal compactum, then the countable uniform power \(^\omega X\) of \(X\) is also proximal. It then follows from known results that the countable uniform power of a Corson compactum is collectionwise normal, countably paracompact and Fréchet-Urysohn. They also present interesting results about first countability and realcompactness in countable uniform powers of compacta. Furthermore they contribute to the question of which properties of proximal spaces also hold in semi-proximal spaces. The countable uniform power (or uniform box product) of a uniform space \(X\) is a specific topology on \(^\omega X\) that lies between the Tychonoff topology and the box topology.