3 problems

Let $\textup{\textsf{RCA}}_{0}^{\omega}$ be the higher-order base theory of recursive comprehension and let $\textup{\textsf{WWKL}}$ denote weak weak König's lemma. Let Theorem be…

Let $\mathsf{WKL}_0$ denote weak König's lemma and let $\mathsf{RCA}_0$ denote the usual base theory. WKL₀ preservation conjecture. Many basic theorems, including…

Gasarch–Hirst conjecture.