Rigidity is undecidable
  We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable. 
Miko{\l}aj Bojanczyk, Stanis{\l}aw Szawiel, Marek Zawadowski
math.LO cs.LO math.CT