It is shown that around each point of a C3static vacuum space-time there is a neighbourhood in which the metric is, in a certain suitable coordinate system, analytic. If two of these neighbourhoods overlap, then the transformation betweea these suitable coordinate systems is analytic (in the overlapping domain).
No takes yet. Share an insight, caveat, or question.
H. Müller zum Hagen (1970) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: