Registry · Theorem V.T80 tau-effective formalized

V.T80 — Correspondence Tower --- V.T32

Each level of the gravitational approximation hierarchy (linearized, post-Newtonian, Newtonian, free-particle) is a systematic truncation of the full tau-Einstein equation, with the full equation fundamental and lower levels discarding information.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (5)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.ClassicalIllusion

Symbol: Tau.BookV.Astrophysics.CorrespondenceTowerVt32