Registry · Definition V.D60 tau-effective formalized

V.D60 — tau-Horizon

A tau-horizon is an orbit depth n_H at which the present surface contracts: Sigma_{n_H} is strictly contained in Sigma_{n_H-1}. The boundary character at the horizon depth has a density-saturated D-sector component.

Book V Part 2 Ch. 15

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.Tauhorizon