Dowker space

In the mathematical field of general topology, a Dowker space is a topological space that is T4 but not countably paracompact. They are named after Clifford Hugh Dowker.

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.