Maximal realcompact spaces and measurable cardinals

Comfort and Hager investigate the notion of a maximal realcompact space and ask about the relationship to the first measurable cardinal m . A space is said to be a P ( m ) space if the intersection of fewer than m open sets is again open. They ask if each realcompact P ( m ) space is maximal realcompact. We establish that this question is undecidable.