5 problems

Moncrief–Isenberg conjecture. Every compact Cauchy horizon in a smooth vacuum spacetime is a Killing horizon.

A spacetime with a compact Cauchy horizon is a spacetime admitting a non-empty compact Cauchy horizon. A Killing horizon is a null hypersurface whose generators are tangent to a Ki…

Isenberg–Moncrief smoothness and generator conjecture. Analyticity in condition (a) should be weakenable to smoothness, and condition (c) should be droppable.

A spacetime is globally hyperbolic if it is the maximal region uniquely determined by suitable relativistic initial data. The strong cosmic censorship conjecture. The maximal globa…

Continuous extendibility conjecture. The Cauchy horizon … .