On metric spaces where continuous real valued functions are uniformly continuous and related notions (Q1705845)

In what follows, \(\mathbf{X} = (X,d)\) always denotes a metric space. \(\mathbf{X}\) is said to be \textit{Lebesgue} (resp. \textit{countably Lebesgue}) if every open cover \(\mathcal{U}\) (resp. countable open cover) of \(\mathbf{X}\) has a Lebesgue number. \(\mathbf{X}\) is said to be \textit{normal} if the distance between any two disjoint, non-empty closed subsets of \(X\) is strictly positive. \(\mathbf{AC}\) denotes the Axiom of Choice, and \(\mathbf{CAC}\) denotes the \textit{Countable Axiom of Choice}, which declares that every countable family \(\mathcal{A}\) of non-empty sets has a choice function (that is, a function \(f: \mathcal{A} \to \bigcup \mathcal{A}\) satisfying \(f(A) \in A\) for every \(A \in \mathcal{A}\)). \(\mathbf{X}\) is said to be \(UC\) if every real valued continuous function defined on \(X\) is uniformly continuous. \(\mathbf{ZF}\) denotes the choiceless Set Theory -- that is, Zermelo-Fraenkel Set Theory without \(\mathbf{AC}\). As usual, \(\mathbf{ZFC} = \mathbf{ZF} + \mathbf{AC}\). In a previous work of the author, [Topology Appl. 210, 366--375 (2016; Zbl 1355.54035)], it was established that, under \(\mathbf{ZF} + \mathbf{CAC}\), one has the equivalences \[ \text{Lebesgue } \leftrightarrow \text{ countably Lebesgue } \leftrightarrow UC \leftrightarrow \text{ normal} \] Moreover, in another previous work of the author, [Topol. Proc. 52, 73--93 (2018; Zbl 1398.54046)], it was established that the above equivalences hold in \(\mathbf{ZF}\) when we restrict ourselves to separable metric spaces. In the paper under review, the author (after pointing out that the implication \(\text{countably Lebesgue } \rightarrow \text{Lebesgue}\) is no longer valid in \(\mathbf{ZF}\)) shows that, at least, the equivalences \[ \text{countably Lebesgue } \leftrightarrow UC \leftrightarrow \text{ normal} \] do hold in \(\mathbf{ZF}\).