Registry · Definition V.D159 tau-effective formalized

V.D159 — Canonical Thresholds

The canonical threshold ladder is the ordered sequence of six regime transitions: L_EW (electroweak) -> L_B (baryogenesis) -> L_N (neutron) -> L_nuc (nucleosynthesis) -> L_H (hydrogen recombination) -> L_gamma (photon decoupling, z ~ 1100).

Book V Part 6 Ch. 48

Dependency Graph

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.CanonicalThresholds