Mattson, Don A. “Maximal $p$-Systems and Realcompleteness”. Mathematica Scandinavica 35 (June 1, 1974): 215–222. Accessed September 8, 2026. https://journals.msp.org/mscand/article/view/2095.