1 problem

Snowden's conjecture. A generalisation of the finite-dimensionality theorem for bounded $\Delta$-varieties should hold at the ideal-theoretic level, not only for equations of insta…