Stone 定理独立于布尔素理想定理
逻辑
2020-10-07 v1
摘要
我们给出一个置换模型，其中 Stone 定理（每个度量空间是仿紧的）不成立，而布尔素理想定理（布尔代数中的每个理想可扩张为素理想）成立。我们模型中的反常度量空间只取有理距离且不是亚仿紧的。转移定理给出了在 Zermelo–Fraenkel 集合论设定下可比较的独立性，回答了 Good、Tree 和 Watson 的一个问题。
引用
@article{arxiv.2001.06513,
title = {The independence of Stone's Theorem from the Boolean Prime Ideal Theorem},
author = {Samuel M. Corson},
journal= {arXiv preprint arXiv:2001.06513},
year = {2020}
}