On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\) (Q714742)

In the paper under review, the author studies the interrelation between forms of compactness of metric spaces ((Heine-Borel) compact, limit point compact, sequentially compact, Cantor complete and totally bounded, (Fréchet) complete and totally bounded, complete and sequentially bounded, countably compact; for metric spaces, all these forms of compactness are pairwise equivalent in \textbf{ZFC}, i.e., Zermelo-Fraenkel set theory plus the axiom of choice) and their countable productivity in set theory without the axiom of choice. Typical results (in \textbf{ZF}, i.e., Zermelo-Fraenkel set theory without choice) are: 1) A countably compact metric space need not be limit point compact or totally bounded and, a limit point compact metric space need not be totally bounded. 2) A complete, totally bounded metric space need not be limit point compact or Cantor complete. 3) A Cantor complete, totally bounded metric space need not be limit point compact. 4) A second countable, limit point compact metric space need not be totally bounded or Cantor complete. 5) A sequentially compact, selective metric space (i.e., the family of all non-empty open subsets of the space has a choice function) is compact. 6) The Tychonoff product of countably many sequentially compact (resp. complete and totally bounded) metric spaces is sequentially compact (resp. complete and totally bounded).