It is shown that for compact metric spaces the following statements are pairwise equivalent: “X is Loeb”, “X is separable”, “X has a we ordered dense subset”, “X is second countable”, and “X has a dense set G = ∪{Gn : n ∈ ω}, ∣Gn∣ < ω, with limn→∞ diam = 0”. Further, it is shown that the statement: “Compact metric spaces are weakly Loeb” is not provable in ZF0 , the Zermelo-Fraenkel set theory without the axiom of regularity, and (...) that the countable axiom of choice for families of finite sets CACfin does not imply the statement “Compact metric spaces are separable”. (shrink)

We show that the countable axiom of choice CAC strictly implies the statements “Lindelöf metric spaces are second countable” “Lindelöf metric spaces are separable”. We also show that CAC is equivalent to the statement: “If is a Lindelöf topological space with respect to the base ℬ, then is Lindelöf”.

In the realm of metric spaces the role of choice principles is investigated.

The axiom of multiple choice implies that metric spaces are paracompact but the reverse implication cannot be proved in set theory without the axiom of choice.