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