A formal construction of the spacetime manifold

DOI10.1007/s10992-007-9075-xzbMath1175.03007OpenAlexW2024464293MaRDI QIDQ1029818

Thomas Benda

Publication date: 13 July 2009

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-007-9075-x

zbMATH Keywords

spacetimegeneral relativityaxiomatizationlogicist reconstruction of mathematics

Mathematics Subject Classification ID

General relativity (83C99) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (5)

A logic road from special relativity to general relativity ⋮ A geometrical characterization of the twin paradox and its variants ⋮ Linear structures, causal sets and topology ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ An axiomatic foundation of relativistic spacetime

Cites Work

• 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
• Is Mathematical Rigor Necessary in Physics?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A formal construction of the spacetime manifold