Registry · Definition V.D125 tau-effective formalized

V.D125 — Black Hole as Maximal Topological Defect --- V.D58

A black hole in Category tau is a region of tau^3 where the topological defect component saturates: d_top(x) = 1 for all x in the region. The event horizon partial B is the surface where d_top transitions from <1 to 1.

Book V Part 5 Ch. 38

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.CompactObjects

Symbol: Tau.BookV.Astrophysics.BlackHoleAsMaximalTopologicalDefectVd58