Journal title
Annales Henri Poincare
DOI
10.1007/s00023-015-0401-5
Issue
2
Volume
17
Last updated
2021-08-10T14:42:42.177+01:00
Page
301-329
Abstract
© 2015, Springer Basel. In 1969, Choquet-Bruhat and Geroch established the existence of a unique maximal globally hyperbolic Cauchy development of given initial data for the Einstein equations. Their proof, however, has the unsatisfactory feature that it relies crucially on the axiom of choice in the form of Zorn’s lemma. In this paper, we present a proof that avoids the use of Zorn’s lemma. In particular, we provide an explicit construction of this maximal globally hyperbolic development.
Symplectic ID
819439
Submitted to ORA
On
Publication type
Journal Article
Publication date
1 February 2016