Patrick Dehornoy Another use of set theory. 379-391 1996 2 Bulletin of Symbolic Logic 4 http://www.math.ucla.edu/~asl/bsl/0204/0204-001.ps db/journals/bsl/bsl2.html#Dehornoy96