1: \begin{definition}[Event horizons]\label{def.EH}

2: Given the maximal globally hyperbolic future development of an admissible Cauchy initial data set (with arbitrary $\omg>2$, cf. Definition~\ref{def:adm-data}), define the \emph{event horizon} $\EH_1:=\{(u,v): u=u_{\EH_1},\, v\geq \underline{v}(u_{\EH}) \}$, where $u_{\EH_1}:=\sup \{u: \sup r(u', \cdot)=\infty \mbox{ for all }u' < u\}$ and $\underline{v}(u_{\EH})$ is such that $(u_{\EH},\underline{v}(u_{\EH}))\in \Sigma_0$. Abusing notation, we will also refer to the set $\EH_1\times \mathbb S^2\subset \mathcal M$ as the \emph{event horizon}. Notice that this is well-defined by Theorem~\ref{thm:kommemi} and can be viewed as the past-directed null curve emanating from $i^+_1$.

3: 

4: We also define the event horizon $\EH_2$ emanating from $i^+_2$ in a completely analogous manner, namely, $\EH_2:=\{(u,v): v=v_{\EH_2},\, u\geq \ub(v_{\EH_2}) \}$, where $v_{\EH_{2}}:=\sup \{v: \sup r(\cdot, v')=\infty \mbox{ for all }v' < v\}$ and $\ub(v_{\EH_2})$ is such that $(\ub(v_{\EH_2}),v_{\EH_2})\in \Sigma_0$.

5: \end{definition}

6: