鸽巢原理与柯尼希引理之交

David Belanger; Chitat Chong; Wei Wang; Tin Lok Wong; Yue Yang

鸽巢原理与柯尼希引理之交

逻辑 2019-12-10 v1

作者: David Belanger , Chitat Chong , Wei Wang , Tin Lok Wong , Yue Yang

摘要

我们研究定义域为陪域两倍大小的 $\Sigma_2$ -可定义单射的鸽巢原理，以及每一层至少含有可能节点一半的 $\Delta^0_2$ -可定义树的弱柯尼希引理。我们证明后者蕴含 $2$ -随机实数的存在，且相对于前者是保守的。我们还证明前者严格弱于通常的 $\Sigma_2$ -可定义单射鸽巢原理。

关键词

鸽巢原理弱柯尼希引理随机实数保守扩张逆数学

引用

@article{arxiv.1912.03487,
  title  = {Where Pigeonhole Principles meet K\"onig Lemmas},
  author = {David Belanger and Chitat Chong and Wei Wang and Tin Lok Wong and Yue Yang},
  journal= {arXiv preprint arXiv:1912.03487},
  year   = {2019}
}

备注

33 pages

鸽巢原理与柯尼希引理之交

摘要

关键词

引用

备注

相关论文