Dowker space

A Dowker space is a topological space which is normal but not countably paracompact.

C.H. Dowker had characterised these spaces in 1951 as those normal spaces for which the product with the unit interval is not normal, and asked whether any such space existed. M.E. Rudin constructed an example in 1971, and Zoltán Balogh gave the first ZFC construction of a small (cardinality continuum) example.