Unprovability results involving braids (Q3069723)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unprovability results involving braids |
scientific article |
Statements
Unprovability results involving braids (English)
0 references
19 January 2011
0 references
braid groups
0 references
long sequences of braids
0 references
Dehornoy order
0 references
combinatorial statements involving the braid order
0 references
stronger systems of arithmetic
0 references
