Real maximal round filters in proximity spaces
Volume 78 / 1973
Fundamenta Mathematicae 78 (1973), 183-188
DOI: 10.4064/fm-78-2-183-188