Registry · Definition I.D19e established formalized

I.D19e — Prime Spectral Signature

For prime p and bound N, sigma_N(p) = (B_N, C_N) records max exponent and max tetration height across objects with A = p up to N. Stabilizes asymptotically due to growth-rate separation.

Book I Part 6 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookI.Polarity.Spectral

Symbol: Tau.Polarity.spectral_sig