关于Σ^1\_2集合的通用Baire性质的一个片段
摘要：Sigma^1\_2集合具有通用Baire性质、两步Sigma^1\_3普遍绝对性和尖锐操作下的宇宙闭性之间存在著名的全球等价关系。在本文中，我们确定了Sigma^1\_2集合具有(2^{omega})^{+}-cc通用Baire性质的确切一致性强度，该强度低于0^{#}。在获得的模型中，存在一个Sigma^1\_2集合，在弱omega\_2-通用Baire下成立，但不在omega\_2-通用Baire下成立。
作者：Stuart Zoble
论文ID：math/0603540
分类：Logic
分类简称：math.LO
提交时间：2007-05-23