An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

Abstract

We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties.

30 pages, 6 figures

References in corpus (1)

• Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory

Cited by in corpus (2)

• Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
• On some Symmetry Axioms in Relativity Theories