The non-trivial task of providing an example of a Dowker space (and therefore also proving their existence as mathematical objects) helped mathematicians better understand the nature and variety of topological spaces.
Dowker showed, in 1951, the following: If X is a normal T1 space (that is, a T4 space), then the following are equivalent: Dowker conjectured that there were no Dowker spaces, and the conjecture was not resolved until Mary Ellen Rudin constructed one in 1971.
[2] Rudin's counterexample is a very large space (of cardinality
Zoltán Balogh gave the first ZFC construction of a small (cardinality continuum) example,[3] which was more well-behaved than Rudin's.
Using PCF theory, M. Kojman and S. Shelah constructed a subspace of Rudin's Dowker space of cardinality