The left distributive law and the freeness of an algebra of elementary embeddings

DOI10.1016/0001-8708(92)90016-EzbMath0822.03030MaRDI QIDQ1188444

Richard Laver

Publication date: 13 August 1992

Published in: Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

critical pointfree algebrasnormal form theoremelementary embeddingsleft distributive lawleft distributive algebra

Mathematics Subject Classification ID

Large cardinals (03E55) Free algebras (08B20)

Related Items (48)

The Jónsson symposium problem sessions ⋮ Cocycle invariants and oriented singular knots ⋮ The spectrum of elementary embeddings \(j: V \to V\) ⋮ AXIOM I₀ AND HIGHER DEGREE THEORY ⋮ On the semigroup structure of cyclic left distributive algebras ⋮ Finite monogenic distributive systems ⋮ Persistence of cyclic left distributive algebras ⋮ Finite left-distributive algebras and embedding algebras ⋮ Homomorphisms of primitive left distributive groupoids ⋮ Finite left distributive algebras with one generator ⋮ Weak faithfulness properties for the Burau representation ⋮ Braid group actions on left distributive structures, and well orderings in the braid groups ⋮ Implications between strong large cardinal axioms ⋮ The structure group for the associativity identity ⋮ The Word Problem for Finitely Presented Quandles is Undecidable ⋮ Left division in the free left distributive algebra on one generator ⋮ Ordering braids: In memory of Patrick Dehornoy ⋮ Laver tables and combinatorics ⋮ Subdirectly Irreducible Nonidempotent Left Distributive Left Quasigroups ⋮ Left-distributive embedding algebras ⋮ The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm ⋮ CONSTRUCTION OF SELF-DISTRIBUTIVE OPERATIONS AND CHARGED BRAIDS ⋮ The uses of set theory ⋮ Large ordinals ⋮ I0 and rank-into-rank axioms ⋮ Free zeropotent left distributive systems ⋮ The geometry monoid of left self-distributivity ⋮ Laver sequences for extendible and super-almost-huge cardinals ⋮ Braid Groups and Left Distributive Operations ⋮ A Canonical Ordering for Free Self-Distributive Systems ⋮ The braid shelf ⋮ Laver's results and low-dimensional topology ⋮ Laver and set theory ⋮ Left division in the free left distributive algebra on many generators ⋮ Structural Monoids Associated to Equational Varieties ⋮ THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT ⋮ Left-Garside categories, self-distributivity, and braids ⋮ Some aspects of the SD-world ⋮ Enumerating left distributive groupoids ⋮ LD-algebras beyond I0 ⋮ Shrinking braids and left distributive monoid ⋮ The fine structure of LD-equivalence ⋮ Another Use of Set Theory ⋮ FREE AUGMENTED LD-SYSTEMS ⋮ Rank-to-rank embeddings, Laver tables, and Galton-Watson processes ⋮ Critical points in an algebra of elementary embeddings ⋮ On braid words and irreflexivity ⋮ Left-distributive idempotent algebras

Cites Work

• Free distributive groupoids
• Elementary embeddings and infinitary combinatorics
• Left-Distributive Quasigroups
• Projective determinacy
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• A Proof of Projective Determinacy
• Strong axioms of infinity and elementary embeddings
• Algebraic Properties of the Shift Mapping
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The left distributive law and the freeness of an algebra of elementary embeddings