尖和K的Sigma^1\_3正确性
摘要：K在实数闭包下,且不存在0的pistol时，是Sigma^1_3正确的。我们将给出以下的简单且纯组合的证明：当实数在scharps下,存在没有Woodin基数的内模,存在K,以及存在*时，K是Sigma^1_3正确的。这里,*是一个可以很容易验证的陈述，如果0的pistol不存在。我们猜测*是明确成立的。（在论文中，*用clubsuit表示。）
作者：Ralf Schindler
论文ID：math/0201169
分类：Logic
分类简称：math.LO
提交时间：2007-05-23