Spherically symmetric spacetimes with a trapped surface

This paper investigates the global properties of a class of spherically symmetric spacetimes. The class contains the maximal development of asymptotically flat (or hyperboloidal) spherically symmetric initial data for a wide variety of coupled Einstein-matter systems. For this class, it is proven here that the existence of a single trapped or marginally trapped surface implies the future completeness of future null infinity and the formation of an event horizon whose area radius is bounded by twice the final Bondi mass.