1. Countable choice and pseudometric spaces;Bentley;Topology Appl.,1997
2. General Topology;Császár,1978
3. Definitions of compactness and the axiom of choice;De la Cruz;J. Symbolic Logic,2002
4. General Topology;Engelking,1987
5. Naive Mengen und abstrakte Zahlen III—Transfinite Methoden;Felscher,1979