Registry · Theorem
V.T27
tau-effective
formalized
V.T27 — Well-posedness via Hartogs
Given boundary data (R^H, T^mat) satisfying the tau-Einstein identity on L, the Hartogs principle guarantees a unique holomorphic extension to the interior of tau^3. The extension is existent, unique, and stable; cosmic censorship follows from boundary compactness.
Book V
Part 2
Ch. 13