Maximal $p$-Systems and Realcompleteness.

DOI10.7146/math.scand.a-11548zbMath0316.54012OpenAlexW2530346333MaRDI QIDQ4076231

Don A. Mattson

Publication date: 1975

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/166387

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Realcompactness and realcompactification (54D60) Proximity structures and generalizations (54E05) Algebraic properties of function spaces in general topology (54C40) Real-valued functions in general topology (54C30)