Showing 1–1 of 1 results for author: Szawiel, S

Rigidity is undecidable

Authors: Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski

Abstract: We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable. We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable. △ Less

Submitted 22 April, 2012; originally announced April 2012.

Comments: 8 pages

MSC Class: 03D35; 03C05; 03G30; 18C10; 18C15

Journal ref: Math. Struct. Comp. Sci. 24 (2014) e240605