$AD_{\mathbb{R}}$ 蕴含所有实数集是 $\Theta$ 泛 Baire 的
逻辑
2021-10-13 v1
摘要
是关于实数上博弈的确定性公理（即玩家执实数）。我们证明它蕴含所有实数集是 Theta-泛 Baire 的。作为一个推论，我们得到一个模型，其中 成立且所有实数集是完全泛 Baire 的。这样的模型最初由 Larson、Sargsyan 和 Wilson 构造。我们的结果补充了他们的工作，因为所用技术纯属描述集合论。
引用
@article{arxiv.2110.06075,
title = {$AD_{\mathbb{R}}$ implies that all sets of reals are $\Theta$ universally Baire},
author = {Grigor Sargsyan},
journal= {arXiv preprint arXiv:2110.06075},
year = {2021}
}