A comment on the construction of the maximal globally hyperbolic Cauchy development

Willie Wai-Yeung Wong
2013 Journal of Mathematical Physics  
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
more » ... ue problem is available, is amenable to the same treatment.
doi:10.1063/1.4833375 fatcat:cxsyqhlla5aqjln2pw4tlyciru