×

Maximal p-systems and realcompleteness. (English) Zbl 0316.54012

MSC:

54C40 Algebraic properties of function spaces in general topology
54E05 Proximity structures and generalizations
54C30 Real-valued functions in general topology
54C35 Function spaces in general topology
54D60 Realcompactness and realcompactification
PDFBibTeX XMLCite
Full Text: DOI EuDML