The Entwining Snake Is Reborn

Aleš Drápal

Source: Bull. Symbolic Logic Volume 8, Number 4 (2002), 555-560.

Reviewed Works:

Richard Laver, The Left Distributive Law and the Freeness of an Algebra of Elementary Embeddings.

Richard Laver, J. Oikkonen, J. Väänänen, A Division Algorithm for the Free Left Distributive Algebra.

Richard Laver, On the Algebra of Elementary Embeddings of a Rank into Itself.

Richard Laver, Braid Group Actions on Left Distributive Structures, and Well Orderings in the Braid Groups.

Patrick Dehornoy, H. Judah, W. Just, H. Woodin, An Alternative Proof of Laver's Results on the Algebra Generated by an Elementary Embedding.

Patrick Dehornoy, Braid Groups and Left Distributive Operations.

Patrick Dehornoy, A Normal Form for the Free Left Distributive Law.

Patrick Dehornoy, From Large Cardinals to Braids via Distributive Algebra.

J. R. Steel, The Well-Foundedness of the Mitchell Order.

Randall Dougherty, Critical Points in an Algebra of Elementary Embeddings.

Randall Dougherty, Wilfrid Hodges, Martin Hyland, Charles Steinhorn, John Truss, Critical Points in an Algebra of Elementary Embeddings. II.

Randall Dougherty, Thomas Jech, Finite Left-Distributive Algebras and Embedding Algebras.