Critical points in an algebra of elementary embeddings
From MaRDI portal
Publication:1314541
DOI10.1016/0168-0072(93)90012-3zbMath0791.03028arXivmath/9205202OpenAlexW2570590894WikidataQ56454532 ScholiaQ56454532MaRDI QIDQ1314541
Publication date: 4 July 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9205202
critical pointsAckermann functionprimitive recursive functionalgebra of elementary embeddingsfast-growing hierarchies of iterated functions
Related Items (18)
STRANGE QUESTIONS ABOUT BRAIDS ⋮ On the semigroup structure of cyclic left distributive algebras ⋮ Algebraic Properties of the Shift Mapping ⋮ Persistence of cyclic left distributive algebras ⋮ Finite left-distributive algebras and embedding algebras ⋮ Braid group actions on left distributive structures, and well orderings in the braid groups ⋮ Implications between strong large cardinal axioms ⋮ Laver tables and combinatorics ⋮ Left-distributive embedding algebras ⋮ CONSTRUCTION OF SELF-DISTRIBUTIVE OPERATIONS AND CHARGED BRAIDS ⋮ Low level computations in finite left distributive algebras ⋮ Large ordinals ⋮ Braid Groups and Left Distributive Operations ⋮ The braid shelf ⋮ Laver and set theory ⋮ Some aspects of the SD-world ⋮ About Laver tables ⋮ Rank-to-rank embeddings, Laver tables, and Galton-Watson processes
Cites Work
- Unnamed Item
- The left distributive law and the freeness of an algebra of elementary embeddings
- Free distributive groupoids
- On braid words and irreflexivity
- Finite left-distributive algebras and embedding algebras
- On the algebra of elementary embeddings of a rank into itself
- Strong axioms of infinity and elementary embeddings
- Homomorphisms of primitive left distributive groupoids
This page was built for publication: Critical points in an algebra of elementary embeddings