A short proof of the irreflexivity conjecture
classification
🧮 math.LO
keywords
proofshortargumentconjecturedehornoydiscoveredgivesirreflexivity
read the original abstract
Gives a short proof of Dehornoy's latest result. The same simple argument (and more) was discovered by Laver's student Larue.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.