A Criterion for Compactness in Metric Spaces?

Douglas S. Bridges. A Criterion for Compactness in Metric Spaces?. Math. Log. Q., 25(7-12):97-98, 1979. [doi]

@article{Bridges79a,
  title = {A Criterion for Compactness in Metric Spaces?},
  author = {Douglas S. Bridges},
  year = {1979},
  doi = {10.1002/malq.19790250702},
  url = {http://dx.doi.org/10.1002/malq.19790250702},
  researchr = {https://researchr.org/publication/Bridges79a},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {25},
  number = {7-12},
  pages = {97-98},
}