Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Publication
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Under mild assumptions, we remove all traces of the axiom of choice from the construction of the maximal globally hyperbolic Cauchy development in general relativity. The construction relies on the notion of direct union manifolds, which we review. The construction given is very general: any physical theory with a suitable geometric representation (in particular all classical fields), and such that a strong notion of ``local existence and uniqueness'' of solutions for the corresponding initial value problem is available, is amenable to the same treatment.