1 problem

Hardness dichotomy conjecture. All sets $S=[S]$ are either $\Sigma^0_3$-hard or $\Pi^0_3$-hard.