Some applications of non-standard analysis to proximity spaces D. Randolph Johnson; Don A. Mattson — 1975 Colloquium Mathematicae