The scalar curvature flow in Lorentzian manifolds

We prove the existence of closed hypersurfaces of prescribed scalar curvature in globally hyperbolic Lorentzian manifolds provided there are barriers.