Registry · Theorem V.T117 tau-effective formalized

V.T117 — Saturation Radius Theorem

The saturation radius R_sat is finite, bounded by R_sat <= C * t_infty * c where t_infty = sum p_k^{-1} is the total proper time. Beyond R_sat, the motif distribution is statistically periodic. The universe exhausts its structural vocabulary within a finite spatial extent.

Book V Part 6 Ch. 54

Dependency Graph

Depends on (1)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.SaturationRadiusTheorem