Rigidity is undecidable
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
math.LO↗
arXiv subjects
Mikołaj Bojanczyk
Publications and source records attributed to Mikołaj Bojanczyk.
arXiv subjects
Publications and source records attributed to Mikołaj Bojanczyk.
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.