pith. sign in

On the Existence of a Maximal Cauchy Development for the Einstein Equations - a Dezornification

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
abstract

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.

fields

math.DG 2

years

2026 1 2024 1

verdicts

UNVERDICTED 2

clear filters

representative citing papers

Maximality and Cauchy developments of Lorentzian length spaces

math.DG · 2024-04-09 · unverdicted · novelty 5.0

Introduces Lorentzian spaces as a weakening of Lorentzian length spaces and considers pointed Gromov-Hausdorff metrics, non-spacetime maximal examples, and canonical Cauchy development representatives.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • $C^0$-inextendibility of a class of warped-product black hole spacetimes math.DG · 2026-06-24 · unverdicted · none · ref 83 · internal anchor

    Adapts Sbierski's proof to establish future C^0-inextendibility for warped-product black hole spacetimes with closed, connected, homogeneous, orientable fibres, including nonvacuum cases and multiple horizons.

  • Maximality and Cauchy developments of Lorentzian length spaces math.DG · 2024-04-09 · unverdicted · none · ref 16 · internal anchor

    Introduces Lorentzian spaces as a weakening of Lorentzian length spaces and considers pointed Gromov-Hausdorff metrics, non-spacetime maximal examples, and canonical Cauchy development representatives.