On a connection between the word problem and decidability of the equational theory.
On a non-vanishing Ext
On constructivizability of the tensor product of modules.
On the lengths of bad sequences of monomial ideals over polynomial rings
We give bad (with respect to the reverse inclusion ordering) sequences of monomial ideals in two variables with Ackermannian lengths and extend this to multiple recursive lengths for more variables.