A formal construction of the spacetime manifold
From MaRDI portal
Publication:1029818
DOI10.1007/s10992-007-9075-xzbMath1175.03007OpenAlexW2024464293MaRDI QIDQ1029818
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
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