Answers are grounded in this paper and cite their sources.
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. This gives answers to a question of Dybowski and G\'{o}rka in [M. Dybowski and P. G\'{o}rka, The axiom of choice in metric measure spaces and maximal δ-separated sets, Archive for Mathematical Logic 62, 735-749, 2023.]. We also prove several related results.
No takes yet. Share an insight, caveat, or question.
Dybowski et al. (2024) studied this question.
Synapse has enriched 8 closely related papers on similar clinical questions. Consider them for comparative context: