Registry · Proposition V.P98 tau-effective formalized

V.P98 — Mass gap between adjacent primorial levels

The ratio of BH mass scales at adjacent primorial depths is M_n/M_{n+1} ~ q_{n+1}, where q_{n+1} is the (n+1)-th prime. The mass hierarchy M_1 >> M_2 >> M_3 >> ... has gaps growing with the primes, organized by the primorial structure of the refinement tower.

Book V Part 6 Ch. 53

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.MergerNormalForm

Symbol: Tau.BookV.Cosmology.MassGapBetweenAdjacentPrimorialLevels