TY  - RPRT
TI  - On the Algebra of Elementary Embeddings of a Rank into Inself
AU  - Richard Laver
PY  - 1992
UR  - https://arxiv.org/abs/math/9204204
ID  - math/9204204
ER  -