On a connection between the word problem and decidability of the equational theory.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Page 1
Popov, V.Yu. (2000)
Siberian Mathematical Journal
Laszlo Fuchs, Saharon Shelah (2003)
Rendiconti del Seminario Matematico della Università di Padova
Latkin, I.V. (2002)
Sibirskij Matematicheskij Zhurnal
Florian Pelupessy, Andreas Weiermann (2012)
Fundamenta Mathematicae
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.
Page 1