On the algebra of elementary embeddings of a rank into itself
From MaRDI portal
Publication:1842231
DOI10.1006/aima.1995.1014zbMath0822.03031arXivmath/9204204OpenAlexW1995613816WikidataQ56454531 ScholiaQ56454531MaRDI QIDQ1842231
Publication date: 28 September 1995
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9204204
Related Items
A general tool for consistency results related to I1 ⋮ AXIOM I0 AND HIGHER DEGREE THEORY ⋮ A dense family of well-behaved finite monogenerated left-distributive groupoids ⋮ 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 ⋮ 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 ⋮ On homology of associative shelves ⋮ The Word Problem for Finitely Presented Quandles is Undecidable ⋮ Cohomology of finite monogenic self-distributive structures ⋮ Left division in the free left distributive algebra on one generator ⋮ Laver tables and combinatorics ⋮ On nondeductive mathematics ⋮ 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 iterability hierarchy above \(\mathsf {I3}\) ⋮ Low level computations in finite left distributive algebras ⋮ Large ordinals ⋮ I0 and rank-into-rank axioms ⋮ Free zeropotent left distributive systems ⋮ The geometry monoid of left self-distributivity ⋮ A Canonical Ordering for Free Self-Distributive Systems ⋮ The braid shelf ⋮ Laver's results and low-dimensional topology ⋮ Laver and set theory ⋮ Some aspects of the SD-world ⋮ About Laver tables ⋮ On the rack homology of graphic quandles ⋮ Two- and three-cocycles for Laver tables ⋮ Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy] ⋮ LD-algebras beyond I0 ⋮ The fine structure of LD-equivalence ⋮ Another Use of Set Theory ⋮ Rank-to-rank embeddings, Laver tables, and Galton-Watson processes ⋮ Critical points in an algebra of elementary embeddings
