Abstract
AbstractA topological space is iso-dense if it has a dense set of isolated points, and it is scattered if each of its non-empty subspaces has an isolated point. In $$\textbf{ZF}$$
ZF
(i.e. Zermelo–Fraenkel set theory without the Axiom of Choice ($$\textbf{AC}$$
AC
)), basic properties of iso-dense spaces are investigated. A new permutation model is constructed, in which there exists a discrete weakly Dedekind-finite space having the Cantor set as a remainder; the result is transferable to $$\textbf{ZF}$$
ZF
. This settles an open problem posed by Keremedis, Tachtsis and Wajch in 2021. 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 axiom of countable choice for families of finite sets. Results related to the open problem of the set-theoretic strength of the statement “Every non-discrete compact metrizable space contains an infinite compact scattered subspace” are also included.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Mathematics (miscellaneous)
Reference43 articles.
1. Brot, J., Cao, M., Fernández-Bretón, D.: Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. Ann. Pure Appl. Logic 172(6), 102961 (2021)
2. Brunner, N.: Products of compact spaces in the least permutation model. Z. Math. Log. Grundl. Math. 31, 441–448 (1985)
3. Čech, E., Pospišil, B.: Sur les espaces compact. Publ. Fac. Sci. Univ. Masaryk 258, 1–14 (1938)
4. Chandler, R.E.: Hausdorff compactifications. Marcel Dekker, New York (1976)
5. Degen, J.W.: Some aspects and examples of infinity notions. Math. Log. Q. 40, 111–124 (1994)