Perfectly normal nonrealcompact spaces under Martin's Maximum

Abstract We analyze the behavior of a perfectly normal nonrealcompact space on such that for every , is ‐open and is ‐closed under Martin's Maximum. We show that there exists a club subset of such that for a stationary subset of , for all ‐open neighborhood of , there exists such that for all , is unbounded in .