Mattson, Don A. “Maximal $p$-Systems and Realcompleteness”. MATHEMATICA SCANDINAVICA 35 (June 1, 1974): 215–222. Accessed May 1, 2024. https://www.mscand.dk/article/view/11548.