关于 Sigma^1_2 集的泛 Baire 性质的一个片段
逻辑
2007-05-23 v3
摘要
在 \Sigma^1_2 集具有泛 Baire 性质、两步 \Sigma^1_3 泛型绝对性以及宇宙在 sharp 运算下封闭之间，存在一个著名的全局等价性。在本文中，我们确定了 \Sigma^1_2 集为 (2^{\omega})^{+}-cc 泛 Baire 的精确一致性强度，其低于 0^{#}。在所得到的模型中，存在一个弱 \omega_2-泛 Baire 但非 \omega_2-泛 Baire 的 \Sigma^1_2 集。
引用
@article{arxiv.math/0603540,
title = {On a Fragment of the Universal Baire Property for Sigma^1_2 Sets},
author = {Stuart Zoble},
journal= {arXiv preprint arXiv:math/0603540},
year = {2007}
}