Countable sums and products of metrizable spaces in ZF (Q3159407)

In the setting of ZF, i.e., Zermelo-Fraenkel set theory without the axiom of choice, the authors investigate for metric and metrizable spaces the preservation of various tropological properties (in particular: compactness, separability, and Lindelöfness) under the formation of countable sums and countable products. Typical results: 1) Countable products of compact metric spaces are compact iff countable sums of compact metric spaces are separable. 2) Countable products of Lindelöf metric spaces are separable iff countable sums of Lindelöf metric spaces are separable. 3) Countable products of Lindelöf metric spaces are hereditary Lindelöf iff countable sums of metric Lindelöf spaces are Lindelöf. 4) There exist ZF-models in which countable products of Lindelöf metric spaces are Lindelöf but countable sums of Lindelöf metric spaces may fail to be Lindelöf.