Equivariant ideals of polynomials

Arka Ghosh, Sławomir Lasota

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A,…