2 problems

Let $\textup{\textsf{open}}$, $\textup{\textsf{HBU}}$, $\mathbb{Z}_{2}^{\omega}$, and $\textup{\textsf{QF-AC}}^{0,1}$ denote the principles and systems used in the paper. Non-impli…

Nonuniform computability conjecture. There is an $M_{0}^{3}$ satisfying $\textup{\textsf{PR}}(M_{0})$ such that no $\Theta^{3}$ satisfying $\textup{\textsf{SCF}}(\Theta)$ is comput…