中文

关于瓦奇秩 $\omega_2$ 附近的若干论题

逻辑 2022-02-01 v1

摘要

Kechris 和 Martin 证明了在决定性公理下,余解析集的递减差分层级的第 ω\omega 层的瓦奇秩为 ω2\omega_2。在本文中,我们通过将余解析集的递减差分层级的第 ω\omega 层理解为具有有限心智改变的(相对)超算术过程,给出了 Kechris-Martin 定理的一个替代证明。基于这一视角,我们还通过将余解析集的递增与递减差分层级分别联系到 Π11\Pi^1_1- 和 Σ11\Sigma^1_1-最小数原理,考察了它们之间的间隙。我们还分析了相关原理的魏劳赫度。

关键词

引用

@article{arxiv.2201.12472,
  title  = {On some topics around the Wadge rank $\omega_2$},
  author = {Takayuki Kihara},
  journal= {arXiv preprint arXiv:2201.12472},
  year   = {2022}
}