关于Sigma^1_2集的泛Baire性质的一个片段
On a Fragment of the Universal Baire Property for Sigma^1_2 Sets
摘要：
在具有泛Baire性质、两步类属绝对性和sharp运算下的宇宙封闭性的类属1_2集之间存在一个众所周知的全局等价性。在本文中，我们确定了1^1_2集的精确相容性强度为（2^ω）^{+}-cc Universally Baire，它小于0^{#}.在所得到的模型中，存在一个弱ω_2-Universally Baire而不是弱ω_2-Universally Baire的集合.
英文摘要：
There is a well-known global equivalence between Σ^1_2 sets having the Universal Baire property, two-step Σ^1_3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of Σ^1_2 sets being (2^ω)^{+}-cc Universally Baire, which is below 0^{#}. In a model obtained, there is a Σ^1_2 set which is weakly ω_2-Universally Baire but not ω_2-Universally Baire.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
