Registry · Proposition V.P122 tau-effective formalized

V.P122 — a_0 from H_0 Tension

a_0 = c*H_0*iota_tau/2 evaluated at low-redshift (local) H_0=73.0 gives 0.9% from MOND; at CMB H_0=67.4 gives -6.9%. Galaxy rotation curves probe local H_0. The H_0 tension structurally manifests as uncertainty in the galactic acceleration scale. Falsifiable: BTFR normalization A should shift as H_0 tension resolves.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: a0_h0_tension