arXiv:math/9204206 Abstract

Published 1992-04-15Version 1

Gives a short proof of Dehornoy's latest result. The same simple argument (and more) was discovered by Laver's student Larue.

Categories: math.LO

Keywords: short proof, irreflexivity conjecture, dehornoys latest result, lavers student larue, simple argument

Related articles: Most relevant | Search more

arXiv:1304.4785 [math.LO] (Published 2013-04-17)

A short proof of the thumbtack lemma

Adam Harris

arXiv:2208.06879 [math.LO] (Published 2022-08-14)

Who Finds the Short Proof? An Exploration of variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

arXiv:0905.1557 [math.LO] (Published 2009-05-11)

A short proof of the strong normalization of the simply typed $λμ$-calculus

arXiv Analytics