We prove that RCA0+RT22↛WKL0RCA0+RT22→WKL0 by showing that for any set CC not of PA-degree and any set AA, there exists an infinite subset GG of AA or AˉAˉ, such that G⊕CG⊕C is also not of PA-degree.
生成讲解博客的中文版本
生成AI智能校验的中文版本