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.