The winning-strategy conjecture for Ideal Chomp on polynomial algebras
Winning-strategy conjecture. Player A has a winning strategy on Kˉ[x1,…,xn]\bar{K}[x_1,\dots,x_n]Kˉ[x1,…,xn] for any n≥1n\geq 1n≥1.
MathDB