Schutz' Independent Axioms for Minkowski Spacetime

Richard Schmoetten 📧, Jake Palmer 📧 and Jacques D. Fleuriot 🌐

July 27, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This is a formalisation of Schutz' system of axioms for Minkowski spacetime published under the name "Independent axioms for Minkowski space-time" in 1997, as well as most of the results in the third chapter ("Temporal Order on a Path") of the above monograph. Many results are proven here that cannot be found in Schutz, either preceding the theorem they are needed for, or within their own thematic section.

License

BSD License

Topics

Session Schutz_Spacetime

Cite

× 
@article{Schutz_Spacetime-AFP,
  author  = {Richard Schmoetten and Jake Palmer and Jacques D. Fleuriot},
  title   = {Schutz' Independent Axioms for Minkowski Spacetime},
  journal = {Archive of Formal Proofs},
  month   = {July},
  year    = {2021},
  note    = {\url{https://isa-afp.org/entries/Schutz_Spacetime.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: