Mattson, Don A. 1974. “Maximal $p$-Systems and Realcompleteness”. MATHEMATICA SCANDINAVICA 35 (June):215-22. https://doi.org/10.7146/math.scand.a-11548.