2000 character limit reached
An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds
Published 5 Oct 2013 in gr-qc and math.LO | (1310.1475v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper.