arXiv Analytics

Sign in

arXiv:1204.4906 [math.LO]AbstractReferencesReviewsResources

Rigidity is undecidable

Miko\laj Bojanczyk, Stanis\law Szawiel, Marek Zawadowski

Published 2012-04-22Version 1

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

Comments: 8 pages
Categories: math.LO, cs.LO, math.CT
Subjects: 03D35, 03C05, 03G30, 18C10, 18C15
Related articles: Most relevant | Search more
arXiv:1902.07162 [math.LO] (Published 2019-02-19)
The dual of compact partially ordered spaces is a variety
arXiv:1804.03524 [math.LO] (Published 2018-04-07, updated 2018-08-12)
The variety of coset relation algebras
arXiv:math/0502565 [math.LO] (Published 2005-02-27, updated 2006-04-18)
On \emptyset-definable elements in a field

Links

Toolbox