1 problem

C.e. Sigma-intermediate/Delta-low conjecture. There is a computably enumerable set that is intermediate for $\Sigma$-Feiner and low for $\Delta$-Feiner.