Registry · Corollary V.C20 tau-effective formalized

V.C20 — Global Finiteness

Global Finiteness: tau^3 is globally finite, structured, and closed. (1) Finite temporal extent: t_infty = sum p_k^{-1} < infty. (2) Finite spatial extent: T^2 compact, total volume finite. (3) Finite structural vocabulary: N_eternal motifs. (4) Convergent pattern: unique absorbing state.

Book V Part 6 Ch. 54

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.GlobalFiniteness

Symbol: Tau.BookV.Cosmology.GlobalFiniteness