Abstract: We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space \mathbf{X}=(X,T) is countably compact if and only if it is countably subcompact relative to T. (iii) For every metrizable space \mathbf{X}=(X,T), the following are equivalent: \noindent(a) \mathbf{X} is compact; \noindent(b) for every open filter \mathcal{F} of \mathbf{X}, \bigcap \{\overline{F}\colon F\in \mathcal{F}\}\neq \emptyset ; \noindent(c) \mathbf{X} is subcompact relative to T. We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable space is completely metrizable, (b) every countably subcompact metrizable space is subcompact, (c) every completely metrizable space is subcompact, is relatively consistent with ZF. (v) AC if and only if for every family \{\mathbf{X}_{i}\colon i\in I\} of metrizable subcompact spaces, for every family \{\mathcal{B}_{i}\colon i\in I\} such that for every i\in I, \mathcal{B}_{i} is a subcompact base for \mathbf{X}_{i}, the Tychonoff product \mathbf{X}=\prod_{i\in I} \mathbf{X}_{i} is subcompact with respect to the standard base \mathcal{B} of \mathbf{X} generated by the family \{\mathcal{B}_{i}\colon i\in I\}.
Keywords: axiom of choice; compact; countably compact; subcompact; countably subcompact; lightly compact metric space
DOI: DOI 10.14712/1213-7243.2022.018
AMS Subject Classification: 03E25 54D30 54E35 54E45 54E50