Registry · Proposition V.P63 tau-effective formalized

V.P63 — Modified Jeans Scale --- V.P27

The tau-native Jeans wavelength lambda_J^tau = c_s sqrt(pi/(G rho)) (1 + r/(2 ell_cl))^{-1/2} is shorter than the classical Jeans wavelength when r ~ ell_cl, enhancing gravitational collapse without requiring dark matter.

Book V Part 5 Ch. 36

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.GalaxyRelational

Symbol: Tau.BookV.Astrophysics.ModifiedJeansScaleVp27