TY  - RPRT
TI  - Unprovability results involving braids
AU  - Lorenzo Carlucci
AU  - Patrick Dehornoy
AU  - Andreas Weiermann
PY  - 2007
DO  - 10.1112/plms/pdq016
UR  - https://arxiv.org/abs/0711.3785
ID  - 0711.3785
ER  -