Registry · Remark V.R31 tau-effective not_applicable

V.R31 — No Initial Singularity

In Category tau there is no initial singularity: the refinement tower begins at alpha_1 with finite proper time t(1) = 0, finite energy, and a well-defined boundary holonomy algebra. The Penrose-Hawking singularity theorems do not apply because tau^3 is not a Lorentzian manifold.

Book V Part 1 Ch. 6

Dependency Graph

Depends on (2)

Lean Formalization

Module: