Characterization of realcompactness and hereditary realcompactness in the class of normal nodec (submaximal) spaces (Q2804277)

The author proves that the following statements are equivalent for a normal nodec space \(X\):NEWLINENEWLINE(1) \(X\) is hereditarily real compact,NEWLINENEWLINE(2) \(X\) is real compact,NEWLINENEWLINE(3) every closed discrete subset of \(X\) has non-measurable cardinality.NEWLINENEWLINEA space \(X\) is a nodec space iff every nowhere dense subset of \(X\) is closed.