= Penrose theorem at a Cauchy horizon
{c}
The globally hyperbolic <maximal Cauchy development> of appropriate <Reissner-Nordstrom spacetime> data obeys the <Penrose singularity theorem> when it contains a closed <trapped surface>. Its resulting <null geodesic incompleteness> can include generators reaching a smoothly extendible inner <Cauchy horizon> in finite <affine parameter>. The full analytic extension is not globally hyperbolic and cannot be substituted into that version of the theorem. Incompleteness alone does not establish curvature blowup at every endpoint.
Back to article page
