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}, }