鸽子跳不高

针对 2-划分的无限抽屉原理断言，对于任意集合 $A$，存在 $A$ 或其补集的一个无限子集。在本文中，我们发展了一种新的力迫概念，能够对抽屉原理的可计算性理论特征进行精细分析。我们推导出各种推论，例如对于任意集合 $A$，存在它或其补集的一个非高阶的无限子集。我们还证明了每个 $\Delta^0_3$ 集合都有一个无限 low${}_3$ 解，并给出了 Liu 定理的一个更简单证明，即每个集合在其自身或其补集中都有一个非 PA 度的无限子集。