An axiomatic foundation of relativistic spacetime

DOI10.1007/s11229-013-0345-6zbMath1357.03082OpenAlexW2050432623MaRDI QIDQ514583

Thomas Benda

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0345-6

zbMATH Keywords

first-order logicgeneral relativityset theoryaxiomatization

Mathematics Subject Classification ID

Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic road from special relativity to general relativity
• Lovelock's theorem revisited
• Axiomatizing relativistic dynamics without conservation postulates
• A formal construction of the spacetime manifold
• Twin paradox and the logical foundation of relativity theory
• A new topology for curved space–time which incorporates the causal, differential, and conformal structures
• The class of continuous timelike curves determines the topology of spacetime
• The Four-Dimensionality of Space and the Einstein Tensor

This page was built for publication: An axiomatic foundation of relativistic spacetime