A system of axioms for Minkowski spacetime

DOI10.1007/s10992-020-09565-6zbMath1473.03008arXiv2007.12983OpenAlexW3021747992MaRDI QIDQ830382

Joshua Babic, Lorenzo Cocco

Publication date: 7 May 2021

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

Full work available at URL: https://arxiv.org/abs/2007.12983

zbMATH Keywords

special relativityMinkowski spacetimerepresentation theoremsaxiomatizationnominalismsynthetic mechanics and geometry

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Congruence and orthogonality in metric geometry (51F20)

Related Items

Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL

Cites Work

• Theories of real numbers and interpretability
• Orthogonality and spacetime geometry
• Glymour and Quine on theoretical equivalence
• Alexandrov-Zeeman type theorems expressed in terms of definability
• Measure-theoretic construction of incomparable hyperdegrees
• Verisimilitude Redefined
• Metamathematical discussion of some affine geometries
• Tarski's System of Geometry
• The fine structure of the constructible hierarchy
• The Logic in Philosophy of Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item