Necessary and sufficient condition on countable structures A for finite generation of equivariant polynomial ideals, plus extended Buchberger algorithm for Gröbner bases and membership decidability.
We finish the proof by showing that there exists /u1D704∈ E/m.sc/b.scA⊗B such that /u1D704◦ /u1D453/u1D460,/u1D461 1 = /u1D4621 and /u1D704◦ /u1D453/u1D460,/u1D461 2 = /u1D4622
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Equivariant ideals of polynomials
Necessary and sufficient condition on countable structures A for finite generation of equivariant polynomial ideals, plus extended Buchberger algorithm for Gröbner bases and membership decidability.