Abstract
AbstractIn the absence of the axiom of choice, the set-theoretic status of many natural statements about metrizable compact spaces is investigated. Some of the statements are provable in $$\mathbf {ZF}$$
ZF
, some are shown to be independent of $$\mathbf {ZF}$$
ZF
. For independence results, distinct models of $$\mathbf {ZF}$$
ZF
and permutation models of $$\mathbf {ZFA}$$
ZFA
with transfer theorems of Pincus are applied. New symmetric models of $$\mathbf {ZF}$$
ZF
are constructed in each of which the power set of $$\mathbb {R}$$
R
is well-orderable, the Continuum Hypothesis is satisfied but a denumerable family of non-empty finite sets can fail to have a choice function, and a compact metrizable space need not be embeddable into the Tychonoff cube $$[0, 1]^{\mathbb {R}}$$
[
0
,
1
]
R
.
Publisher
Springer Science and Business Media LLC
Reference42 articles.
1. Bing, R.H.: Metrization of topological Spaces. Can. J. Math. 3, 175–186 (1951)
2. Brunner, N.: Products of compact spaces in the least permutation model. Z. Math. Log. Grundl. Math. 31, 441–448 (1985)
3. Collins, P.J., Roscoe, A.W.: Criteria for metrizability. Proc. Am. Math. Soc. 90, 631–640 (1984)
4. Corson, S.M.: The independence of Stone’s theorem from the Boolean prime ideal theorem. https://arxiv.org/pdf/2001.06513.pdf
5. De la Cruz, O., Hall, E.J., Howard, P., Keremedis, K., Rubin, J.E.: Metric spaces and the axiom of choice. Math. Log. Q. 49, 455–466 (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献