Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

Richard Schmoetten, Jake Palmer, Jacques Fleuriot

This contribution reports on the continued formalisation of an axiomatic system for Minkowski spacetime (as used in the study of Special Relativity) which is closer in spirit to Hi…