弱柯尼希引理的极弱片段
逻辑
2021-01-05 v1
摘要
众所周知，2^{ℕ} 的任意有限 Π⁰₁-类都有一个可计算成员。那么，我们如何在逆数学的语境下理解这一点？在本注记中，我们考虑弱柯尼希引理的几个极弱片段来回答这一问题。
引用
@article{arxiv.2101.00636,
title = {Very weak fragments of weak K\H{o}nig's lemma},
author = {Stephen G. Simpson and Keita Yokoyama},
journal= {arXiv preprint arXiv:2101.00636},
year = {2021}
}
备注
Technical note