Finite left-distributive algebras and embedding algebras

DOI10.1006/AIMA.1997.1655zbMath0884.08006arXivmath/9209202OpenAlexW2042526949MaRDI QIDQ1369254

Randall Dougherty, Thomas J. Jech

Publication date: 17 March 1998

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

Full work available at URL: https://arxiv.org/abs/math/9209202

zbMATH Keywords

primitive recursive arithmeticembedding algebramonogenic left-distributive algebrasstrong large cardinal axiom

Mathematics Subject Classification ID

Large cardinals (03E55) Free algebras (08B20) Products, amalgamated products, and other kinds of limits and colimits (08B25) Sets with a single binary operation (groupoids) (20N02)

Related Items (22)

A dense family of well-behaved finite monogenerated left-distributive groupoids ⋮ Finite monogenic distributive systems ⋮ Homomorphisms of primitive left distributive groupoids ⋮ Finite left distributive algebras with one generator ⋮ Braid group actions on left distributive structures, and well orderings in the braid groups ⋮ Implications between strong large cardinal axioms ⋮ Laver tables and combinatorics ⋮ Subdirectly Irreducible Nonidempotent Left Distributive Left Quasigroups ⋮ Left-distributive embedding algebras ⋮ Low level computations in finite left distributive algebras ⋮ Large ordinals ⋮ I0 and rank-into-rank axioms ⋮ Braid Groups and Left Distributive Operations ⋮ 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 ⋮ Some aspects of the SD-world ⋮ About Laver tables ⋮ Two- and three-cocycles for Laver tables ⋮ Rank-to-rank embeddings, Laver tables, and Galton-Watson processes ⋮ Critical points in an algebra of elementary embeddings

Cites Work

• Fragments of arithmetic
• The left distributive law and the freeness of an algebra of elementary embeddings
• Free distributive groupoids
• Critical points in an algebra of elementary embeddings
• On the algebra of elementary embeddings of a rank into itself
• The adjoint representation of left distributive structures
• Braid Groups and Left Distributive Operations
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite left-distributive algebras and embedding algebras