2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152787Let $j:V_λ---> V_λ$ be an elementary embedding, with critical point $κ$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(κ)$ and $j^{n+1}(κ)$. It is shown that $f(n)$ is finite for all $n$.Logictext