贝尔性质与选择公理
逻辑
2019-08-27 v3
摘要
我们证明：(1) 若 ZF 是一致的，则如下理论是一致的“ZF + DC(omega_{1}) + 每个实数集都具有贝尔性质”；(2) 若 ZF 是一致的，则如下理论是一致的“ZFC + ‘每个射影实数集都具有贝尔性质’ + ‘任意 omega_{1} 个贫集的并是贫集’”。
引用
@article{arxiv.math/9211213,
title = {Baire property and Axiom of Choice},
author = {Haim Judah and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9211213},
year = {2019}
}
备注
Proof has an irreparable gap