Mattson, Don A. “Maximal $p$-Systems and Realcompleteness”. MATHEMATICA SCANDINAVICA 35 (June 1, 1974): 215–222. Accessed August 13, 2026. https://tidsskrift.dk/math/article/view/11548.