Maximal δ-separated sets in separable metric spaces and weak forms of choice

Michał Dybowski, Przemyslaw Górka, Paul Howard

We show that the statement ``In every separable pseudometric space there is a maximal non-strictly δ-separated set.'' implies the axiom of choice for countable families of sets. T…