We show that it is consistent with ZF that there is a dense-in-itself compact metric space $(X,d)$ which has the countable chain condition (ccc), but $X$ is neither separable nor second countable. It is also shown that $X$ has an open dense subspace which is not paracompact and that in ZF the Principle of Dependent Choice, DC, does not imply {\it the disjoint union of metrizable spaces is normal\/}.
@article{119309, author = {Eleftherios Tachtsis}, title = {Disasters in metric topology without choice}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {43}, year = {2002}, pages = {165-174}, zbl = {1072.03030}, mrnumber = {1903316}, language = {en}, url = {http://dml.mathdoc.fr/item/119309} }
Tachtsis, Eleftherios. Disasters in metric topology without choice. Commentationes Mathematicae Universitatis Carolinae, Tome 43 (2002) pp. 165-174. http://gdmltest.u-ga.fr/item/119309/
Set Theory and the Continuum Hypothesis, Benjamin, 1966. | MR 0232676 | Zbl 0182.01401
Horrors of topology without AC: a non normal orderable space, Proc. Amer. Math. Soc. 95 (1985), 101-105. (1985) | MR 0796455
Continuing horrors of topology without choice, Topology Appl. 63 (1995), 79-90. (1995) | MR 1328621 | Zbl 0822.54001
On Stone's theorem and the axiom of choice, Proc. Amer. Math. Soc. 126 (1998), 1211-1218. (1998) | MR 1425122 | Zbl 0893.54016
Maximal filters, continuity and choice principles, Quaestiones Math. 20 (1997), 697-705. (1997) | MR 1625478
When is $\Bbb N$ Lindelöf?, Comment. Math. Univ. Carolinae 38.3 (1997), 553-556. (1997) | MR 1485075 | Zbl 0938.54008
Disjoint unions of topological spaces and choice, Math. Logic Quart. 44 (1998), 493-508. (1998) | MR 1654348 | Zbl 0922.03069
Paracompactness of metric spaces and the axiom of multiple choice, Math. Logic Quart. 46 (2000). (2000) | MR 1755811 | Zbl 0993.03059
Non-constructive properties of the real numbers, Math. Logic Quart. 47 (2001), 423-431. (2001) | MR 1847458
Consequences of the Axiom of Choice, Math. Surveys and Monographs 59, Amer. Math. Soc., Providence R.I., 1998. | MR 1637107 | Zbl 0947.03001
The Axiom of Choice, North-Holland, Amsterdam, 1973. | MR 0396271 | Zbl 0259.02052
Disasters in topology without the axiom of choice, Arch. Math. Logic, to appear. | MR 1867681 | Zbl 1027.03040
Countable disjoint unions in topology and some weak forms of the axiom of choice, Arch. Math. Logic, submitted.
Compact metric spaces and weak forms of the axiom of choice, Math. Logic Quart. 47 (2001), 117-128. (2001) | MR 1808950 | Zbl 0968.03057
On Lindelöf metric spaces and weak forms of the axiom of choice, Math. Logic Quart. 46 (2000), 35-44. (2000) | MR 1736648 | Zbl 0952.03060
Set Theory, An Introduction to Independence Proofs, North-Holland, Amsterdam, 1983. | MR 0756630 | Zbl 0534.03026
General Topology, Addison-Wesley Publ. Co., Reading, MA, 1968. | MR 2048350 | Zbl 1052.54001