Publication:3837728
From MaRDI portal
zbMath0856.03040arXivmath/9503204MaRDI QIDQ3837728
Publication date: 11 December 1996
Full work available at URL: https://arxiv.org/abs/math/9503204
large cardinals; left distributive law; number of critical points; Primitive Recursive Arithmetic; least ordinals moved; left-distributive algebra of elementary embeddings
03E55: Large cardinals
Related Items
About Laver tables, Implications between strong large cardinal axioms, Rank-to-rank embeddings, Laver tables, and Galton-Watson processes, Laver tables and combinatorics