1 problem

Minimal-pair conjecture. There are cost functions $\mathbf{c}$ and $\mathbf{d}$ with the limit condition such that, for any $\Delta^0_2$ sets $A,B$,