Unprovability results involving braids

Details Unprovability results involving braids Unprovability results involving braids

2007-11-23

arxiv.org/abs/0711.3785v1

Mathematics

Logic

32 pages

Scientific paper

We construct long sequences of braids that are descending with respect to the
standard order of braids (``Dehornoy order''), and we deduce that, contrary to
all usual algebraic properties of braids, certain simple combinatorial
statements involving the braid order are true, but not provable in the
subsystems ISigma1 or ISigma2 of the standard Peano system.

Affiliated with

Also associated with

No associations

Rating

Unprovability results involving braids 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 Unprovability results involving braids, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unprovability results involving braids will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-363951