# Schutz' Independent Axioms for Minkowski Spacetime

 Title: Schutz' Independent Axioms for Minkowski Spacetime Authors: Richard Schmoetten (s1311325 /at/ sms /dot/ ed /dot/ ac /dot/ uk), Jake Palmer (jake /dot/ palmer /at/ ed /dot/ ac /dot/ uk) and Jacques Fleuriot Submission date: 2021-07-27 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. BibTeX: @article{Schutz_Spacetime-AFP, author = {Richard Schmoetten and Jake Palmer and Jacques Fleuriot}, title = {Schutz' Independent Axioms for Minkowski Spacetime}, journal = {Archive of Formal Proofs}, month = jul, year = 2021, note = {\url{https://isa-afp.org/entries/Schutz_Spacetime.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License