Generalizes Hawking singularity theorems for gravity theories.
problem Proving geodesic incompleteness in gravity theories.
method Assumptions on matter fields, scalaron, and global hyperbolicity; mathematical results from reference \cite{fewster} are used.
result Geodesically incomplete space-times can be proven under specific conditions.