A. P. Nyikos, L. Soukup and B. Velickovic:
gzipped tex file (9495 bytes)
gzipped dvi file ( 16620 bytes)
Hereditarily normality of gammaN
We show that ander PFA every countably compact T_5 space is sequentially
compact; moreover every countable
subset of a countably compact T_5 space has compact,
The key is the proof is the following result: if PFA holds then no
gammaN can be T_5.
On the other hand, we also show that Martin's Axiom is not enough:
Let kappa >omega_1 be a cardinal such that
Then there is a ccc forcing notion P such that V^P
satisfies MA +2^omega=kappa + ``there is a T_5
Downloading the paper
appeared in Topology and its Applications,
65 (1995), pp. 9--19.