Registry · Theorem V.T68 tau-effective formalized

V.T68 — Defect-driven acceleration

Defect-driven acceleration: as S_def decreases, the effective equation-of-state parameter w shifts from w > -1/3 (decelerating) to w < -1/3 (accelerating); the transition occurs when the defect-to-refinement ratio drops below 1/3.

Book V Part 3 Ch. 26

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.DefectdrivenAcceleration