Metric spaces and the axiom of choice

Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin. Metric spaces and the axiom of choice. Math. Log. Q., 49(5):455-466, 2003. [doi]

@article{CruzHHKR03a,
  title = {Metric spaces and the axiom of choice},
  author = {Omar de la Cruz and Eric J. Hall and Paul E. Howard and Kyriakos Keremedis and Jean E. Rubin},
  year = {2003},
  doi = {10.1002/malq.200310049},
  url = {http://dx.doi.org/10.1002/malq.200310049},
  tags = {e-science},
  researchr = {https://researchr.org/publication/CruzHHKR03a},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {49},
  number = {5},
  pages = {455-466},
}