MathDB1 problem
- 0 votes0 replies0 views
The effectively oligomorphic equivariant ideal membership dichotomy
Equivariant ideal membership dichotomy conjecture. Exactly one of the following holds: (i) the equivariant ideal membership problem is decidable; (ii) there exists an equivariant i…