Rigidity is undecidable

Details Rigidity is undecidable Rigidity is undecidable

2012-04-22

arxiv.org/abs/1204.4906v1

Mathematics

Logic

8 pages

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Rigidity is undecidable does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Rigidity is undecidable, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rigidity is undecidable will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-523032