关于ZF中紧可度量空间的若干惊人发现
一般拓扑
2020-08-05 v1
摘要
在无选择公理的情况下，研究了关于可度量紧空间的许多自然命题的集合论地位。其中一些命题在中可证，另一些被证明独立于。对于独立性结果，应用了不同的模型与带有Pincus转移定理的置换模型。我们构造了新的对称模型，其中每一个都满足：的幂集可良序，连续统假设成立，但可数族非空有限集可以没有选择函数，且紧可度量空间不必能嵌入到Tychonoff立方体中。
引用
@article{arxiv.2008.01233,
title = {Several amazing discoveries about compact metrizable spaces in ZF},
author = {Kyriakos Keremedis and Eleftherios Tachtsis and Eliza Wajch},
journal= {arXiv preprint arXiv:2008.01233},
year = {2020}
}