1 problem

Finite-degree completeness conjecture. The resulting generating set is complete for the real radical unless there is a minimum degree $d'>d$ at which prolongation determines new ge…