Registry · Theorem V.T204 tau-effective formalized

V.T204 — Redshift-Dependent Acceleration Scale

Redshift-Dependent Acceleration Scale: a_0(z) = c*H(z)*iota/2, where H(z) = H_0*sqrt(Omega_m*(1+z)^3+Omega_Lambda). At z=2: a_0 = 3.03*a_0(0). UNIQUE to tau: CDM has no fundamental a_0, MOND has constant a_0. Testable with JWST rotation curves at z~1-3. ell_tau(z) = c/(H(z)*sqrt(kappa_D)) shrinks at high z.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.redshift_acceleration_scale