一种保持 $\mathsf{ACA}_0$ 的 Mathias 力迫变体
逻辑
2012-10-05 v2
摘要
我们提出并分析 -Mathias 力迫，它与 Mathias 力迫类似但更为温和。特别地，我们证明该力迫保持二阶算术的某些弱子系统，如 和 ，而 Mathias 力迫则不保持。我们还证明，-Mathias 力迫所需实数（在 Blass 意义下）恰好是可计算实数，而非 Mathias 力迫的超算术实数。
引用
@article{arxiv.1110.6559,
title = {A variant of Mathias forcing that preserves $\mathsf{ACA}_0$},
author = {François G. Dorais},
journal= {arXiv preprint arXiv:1110.6559},
year = {2012}
}