Registry · Lemma
I.L05
established
formalized
I.L05 — Growth Escape
Tetration escapes the primorial tower: for any tower depth d, there exists c such that 2^^c mod M_d != 2^^c. Quantitative shadow of saturation — the 4th hyperoperation level produces values that outrun any finite primorial approximation.
Book I
Part 3
Ch. 12