Perfectly normal nonrealcompact spaces under Martin's maximum
scientific article; zbMATH DE number 7963994