No Bounces, No Cycles: A Robust Singularity Theorem in Exact Semiclassical Gravity

I will review the Penrose and Wall singularity theorems and describe their limitations. Following Shahbazi-Moghaddam, I will argue that semiclassical gravity in the infinite species limit becomes an exact theory whose metric is defined on all scales and which obeys the Generalized Second Law. I prove a robust singularity theorem in this setting.