Undecidability of the existence of regular extremally disconnected S-spaces Andrzej Szymański (1980) Colloquium Mathematicae