Rigidity is undecidable
arXiv:1204.4906 · doi:10.1017/S096012951300087X
Abstract
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
8 pages
arXiv:1204.4906 · doi:10.1017/S096012951300087X
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
8 pages