Registry · Definition
V.D265
tau-effective
formalized
V.D265 — Algebraic Derivation Chain for a₀
Algebraic Derivation Chain for a₀: τ-axioms K0–K8 → ι_τ = 2/(π+e) → κ_D = 1−ι_τ → ℓ_τ = c/(H₀√κ_D) → a₀ = c²/(2ℓ_τ) = cH₀√κ_D/2 ≈ 2.66×10⁻¹⁰ m/s². Zero free parameters beyond H₀ and ι_τ.
Book V
Part 5
Ch. 37