Corrigendum to ``Are Buchberger's criteria necessary for the chain condition?'' [J. Symbolic Comput. 42 (2007) 717-732]
From the text: In [J. Symb. Comput. 42, No. 7, 717--732 (2007; Zbl 1134.13023)], Definition 5 has a misplaced quantifier.
scientific article; zbMATH DE number 5368311