Scifaro

中文

${\Sigma}^0_3$ 决定性与 ${\mathbf{\Pi}}^1_2$ 单调归纳

逻辑 2015-09-09 v1

作者: Sherwood Hachtman

在 arXiv 上查看 ↗ PDF ↗

摘要

基于 Philip Welch 近期的工作，我们证明了(轻面) $\Sigma^0_3$ 决定性等价于存在一个满足(粗体) $\mathbf{\Pi}^1_2$ 单调归纳公理模式的良基模型。

关键词

$\Sigma^0_3$ 决定性 $\mathbf{\Pi}^1_2$ 单调归纳良基模型公理模式描述集合论数学逻辑

引用

@article{arxiv.1509.02446,
  title  = {${\Sigma}^0_3$ determinacy and ${\mathbf{\Pi}}^1_2$ monotone induction},
  author = {Sherwood Hachtman},
  journal= {arXiv preprint arXiv:1509.02446},
  year   = {2015}
}