Topological spaces with properties undetermined in ZFC (Q1329395)

In some sense, the main question of this unusual paper is in the (rigorous) formulation of the questions to be investigated. The author wishes to go beyond the usual independence results of topology by, when given a topological property, constructing a space in ZFC for which it is independent that the property holds. Of course one can simply define a space \(X\) in ZFC with a statement like ``\(X\) is a Souslin line if one exists, otherwise \(X\) is the real line''. Naturally this is not what is sought here and at present it is somewhat a question of individual taste as to how natural a definition of a space is acceptable. In this article three questions of this type are answered: 1) A compact space which may or may not be Fréchet-Urysohn; 2) a separable pseudocompact non-compact group which may or may not be countably compact; 3) a countable Hausdorff group which goes from being extremally disconnected under the continuum hypothesis (CH) to being Fréchet-Urysohn under \(\text{MA}+ \neg \text{CH}\) (Martin's axiom). The constructions are not really new in the ``traditional'' sense.