On iso-dense and scattered spaces in $\mathbf{ZF}$
Abstract
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties of iso-dense spaces are investigated. A new permutation model is constructed in which a discrete weakly Dedekind-finite space can have the Cantor set as a remainder. A metrization theorem for a class of quasi-metric spaces is deduced. The statement "every compact scattered metrizable space is separable" and several other statements about metric iso-dense spaces are shown to be equivalent to the countable axiom of choice for families of finite sets. Results concerning the problem of whether it is provable in $\mathbf{ZF}$ that every non-discrete compact metrizable space contains an infinite compact scattered subspace are also included.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2021
- DOI:
- 10.48550/arXiv.2101.02825
- arXiv:
- arXiv:2101.02825
- Bibcode:
- 2021arXiv210102825K
- Keywords:
-
- Mathematics - General Topology;
- 03E25;
- 03E35;
- 54E35;
- 54G12;
- 54D35
- E-Print:
- arXiv admin note: text overlap with arXiv:2009.09526