Article contents
Rigidity is undecidable
Published online by Cambridge University Press: 11 March 2014
Abstract
We show that the problem of whether a finite set of regular-linear axioms defines a rigid theory is undecidable.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2014
References
- 1
- Cited by