Canonical subbase-compactness of topological products (Q1030206)

Let \(X=\prod_{i\in I}X_i\) be a product of topological spaces. \(X\) is called: {\parindent=4mm \begin{itemize}\item[{\(\bullet\)}] subbase-compact iff there exists a subbase \(\mathfrak G\) of \(X\) such that each cover of \(X\) by members of \(\mathfrak G\) contains a finite cover of \(X\); \item[{\(\bullet\)}] canonically subbase-compact iff every cover of \(X\) by members of the canonical subbase contains a finite cover of \(X\). \end{itemize}} Clearly: compact \(\Rightarrow\) canonically subbase-compact \(\Rightarrow\) subbase-compact. By Alexander's Subbase Theorem those implications are reversible in ZFC. However, they are both irreversible in ZF (i.e., set theory without the Axiom of Choice). This is a consequence of the following results of the paper under review: {\parindent=6,5mm \begin{itemize}\item[(1)] Products of finite spaces are canonically subbase-compact iff AC(fin), the axiom of choice for finite sets, holds. \item[(2)] Products of \(n\)-element spaces are canonically subbase-compact iff AC\((<n)\), the axiom of choice for sets with less than \(n\) elements, holds. \item[(3)] Products of compact spaces are canonically subbase-compact iff AC, the axiom of choice, holds. \item[(4)] All powers \(X^I\) of a compact space \(X\) are canonically subbase-compact iff \(X\) is a Loeb-space. \end{itemize}}