An axiomatic foundation of relativistic spacetime

DOI10.1007/S11229-013-0345-6MaRDI QIDQ514583zbMATH OpenOpenAlexFDO

Authors 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 relativityaxiomatizationset theory

Mathematics Subject Classification ID

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

Recommendations

• A formal construction of the spacetime manifold
• Axiomatic causal theory of space-time
• An axiomatic basis of space-time theory. III: Construction of a differentiable manifold
• scientific article; zbMATH DE number 219979
• scientific article; zbMATH DE number 1112206

Cites work

• scientific article; zbMATH DE number 3421535 (Why is no real title available?)
• scientific article; zbMATH DE number 3020588 (Why is no real title available?)
• A formal construction of the spacetime manifold
• A logic road from special relativity to general relativity
• A new topology for curved space–time which incorporates the causal, differential, and conformal structures
• Axiomatizing relativistic dynamics without conservation postulates
• Logical analysis of relativity theories
• Logical axiomatizations of space-time. Samples from the literature
• Lovelock's theorem revisited
• On generalizing the logic-approach to space-time towards general relativity: first steps
• The Four-Dimensionality of Space and the Einstein Tensor
• The class of continuous timelike curves determines the topology of spacetime
• Twin paradox and the logical foundation of relativity theory

Cited in

(6)

• scientific article; zbMATH DE number 4016854 (Why is no real title available?)
• Axiomatizing relativistic dynamics without conservation postulates
• scientific article; zbMATH DE number 722382 (Why is no real title available?)
• An axiomatic basis of space-time theory. III: Construction of a differentiable manifold
• Axiomatizing relativistic dynamics using formal thought experiments
• A formal construction of the spacetime manifold

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514583)