Registry · Definition V.D167 tau-effective formalized

V.D167 — Canonical BH Neighborhood

The canonical BH neighborhood N_BH is the open subset of tau^3 consisting of all points (alpha_n, x) with n >= n_* (birth depth) and gravitational tension G(alpha_n, x) > C_sph. It is the spacetime region occupied by the black hole from birth onward.

Book V Part 6 Ch. 50

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.CanonicalBhNeighborhood