On metrizability and compactness of certain products without the axiom of choice (Q2222118)

The paper considers several weakenings of the axiom od choice, with accent on conditions of metrizability of product spaces. Some of these weakenings are (with nonstandard abbreviations for some): MC\(^{\aleph_0}\): Every denumerable family of nonempty sets has a multiple choice function (choosing a finite subset from each set of the family) MC\((\aleph_0,\aleph_0)\): Every denumerable family of denumerable sets has a multiple choice function QPROD: Countable products of metrizable spaces are quasi-metrizable CUF: Every countable union of cuf sets (cuf: countable union of finite sets) is a cuf set vDCP(\(\aleph_0\)): Every denumerable family of linear orders isomorphic to \(\mathbb{Z}\) has a choice function. The main goal is to improve some of the results from [\textit{E. Wajch}, Topology Appl. 241, 62--69 (2018; Zbl 1425.03020)] and to answer questions left open there. The first of these results is that QPROD implies vDCP(\(\aleph_0\)). Theorem 3.1 shows that \[\mbox{MC}^{\aleph_0}\Rightarrow\mbox{QPROD}\Rightarrow\mbox{CUF}\Rightarrow\mbox{MC}(\aleph_0,\aleph_0)\Rightarrow\mbox{vDCP}(\aleph_0).\] Theorem 3.4. There is a model of ZF in which vDCP(\(\aleph_0\)) is true, but MC\((\aleph_0,\aleph_0)\) is false. Let \(\{X_n:n\in\omega\}\) be a denumerable disjoint family of nonempty finite discrete spaces, \(X=\prod_{n\in\omega}X_n\) and \(J=\bigcup\{X_n:n\in\omega\}\). Wajch [loc. cit.] proved that, if \(X\) is either non-compact or empty, then the Cantor cube \(2^J\) is non-compact. Theorem 3.6. It is relatively consistent with ZF that, for some family \(\{X_n:n\in\omega\}\), \(2^J\) is non-compact but \(X\) is compact and nonempty. The following answers an open question from Wajch's paper [loc. cit.]. Theorem 3.7. There is a model of ZF in which there exists a compact, metrizable, non-second countable Cantor cube.