| Null quantitative focusing | statement | proposition 4.11 | arxiv |
| Fixed causal character | statement | lemma 2.13 | arxiv |
| Covariant derivative | definition | definition 2.11 | arxiv |
| Weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 | statement | theorem 4.15 | arxiv |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers | statement | theorem 3.16 | arxiv |
| Non-total imprisonment | definition | definition 3.11 | arxiv |
| Properties of the regularization | statement | proposition 3.1 | arxiv |
| Weighted energy conditions | definition | definition 2.21 | arxiv |
| $C^{(k,l),\alpha}$ Finsler spacetimes | definition | definition 2.7 | arxiv |
| Approximation of strong energy condition | statement | proposition 1.3 | arxiv |
| $C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 | statement | theorem 1.8 | arxiv |
| An explicit warped product-type example | example | example 2.6 | arxiv |
| Existence time estimate for geodesics | statement | proposition 2.14 | arxiv |
| $C^{(1,3)}$ Hawking singularity theorem, version 1, general $K$ | statement | theorem 4.9 | arxiv |
| Weighted timelike quantitative focusing | statement | proposition 4.14 | arxiv |
| Compactness for geodesics | statement | corollary 2.15 | arxiv |
| Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 1 | statement | theorem 1.4 | arxiv |
| Low regularity Randers metrics | example | example 2.5 | arxiv |
| Approximation of weighted energy conditions | statement | proposition 3.10 | arxiv |
| Past version of the $C^{(1,3)}$ Hawking singularity theorem, version 1 | statement | corollary 4.5 | arxiv |
| $\kappa$-ranges | definition | definition 4.13 | arxiv |
| Chern connection | definition | definition 2.9 | arxiv |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maxmizers for codimension-$2$ surfaces | statement | corollary 3.18 | arxiv |
| Uniform convergence of $\Ric$ | statement | lemma 3.5 | arxiv |
| Unweighted $C^{(1,3)}$ Penrose singularity theorem | statement | theorem 1.6 | arxiv |
| Trapped surfaces | definition | definition 4.10 | arxiv |
| Existence of smooth wider non-totally imprisoning structures | statement | proposition 3.14 | arxiv |
| $C^{(1,3)}$ Hawking singularity theorem, version 1 | statement | theorem 4.4 | arxiv |
| Proper cone structures | statement | lemma 2.8 | arxiv |
| Unweighted $C^{(1,3)}$ Hawking singularity theorem, version 2 | statement | theorem 1.5 | arxiv |
| Approximation of timelike Ricci curvature bounds | statement | corollary 3.8 | arxiv |
| Existence of smooth wider globally hyperbolic structures | statement | theorem 3.15 | arxiv |
| $C^{(k,l),\alpha}$-regular maps | definition | definition 2.1 | arxiv |
| Approximation of null energy condition | statement | proposition 3.9 | arxiv |
| Timelike quantitative focusing for general bounds | statement | proposition 4.7 | arxiv |
| $L$-maximizers as limits of $\widecheck L_\varepsilon$-maximizers for Cauchy hypersurfaces | statement | corollary 3.17 | arxiv |
| Low regularity Lorentzian metrics | example | example 2.4 | arxiv |
| $C^1$ weighted $C^{(1,2)}$ Hawking singularity theorem, version 1 | statement | theorem 1.7 | arxiv |
| The ``wider lightcone" relation $\prec$ | definition | definition 3.3 | arxiv |
| Geodesics | definition | definition 2.12 | arxiv |
| $\beta$-contracting | definition | definition 4.1 | arxiv |
| $C^{(k,l)}$ Lorentz--Finsler structures | definition | definition 1.1 | arxiv |
| Boundedness of $\tilde g$-lengths | statement | lemma 3.12 | arxiv |
| Chru{\'s}ciel--Grant approximations | statement | proposition 3.4 | arxiv |
| $C^{(1,3)}$ Penrose singularity theorem | statement | theorem 4.12 | arxiv |
| Timelike quantitative focusing | statement | proposition 4.2 | arxiv |
| Weighted $C^{(1,2)}$ Hawking singularity theorem, version 2 | statement | theorem 4.16 | arxiv |
| Distributional strong energy condition | definition | definition 1.2 | arxiv |
| Distributional null energy condition | definition | definition 2.18 | arxiv |
| Global hyperbolicity | definition | definition 3.13 | arxiv |
| $C^{(k,l),\alpha}$ Lorentz--Finsler structures | definition | definition 2.3 | arxiv |
| $C^1$ weighted $C^{(1,2)}$ Penrose singularity theorem | statement | theorem 1.9 | arxiv |
