1 problem

Benign cost-function conjecture. For each benign cost function $c$ and each set $B$ satisfying $B\models c$, there is a c.e. set $A$ satisfying $A\models c$ such that