Email Gateway (Sep 06 2021 at 14:05): Email Gateway (Sep 06 2021 at 14:05):From: Lawrence Paulson <lp15@cam.ac.uk>
I'm happy to announce a new entry, Schutz' Independent Axioms for Minkowski Spacetime, by Richard Schmoetten, Jake Palmer and Jacques Fleuriot:
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.
It's not at the top of the AFP webpage because it was submitted at the end of July and somehow overlooked, for which my apologies. The direct URL is https://www.isa-afp.org/entries/Schutz_Spacetime.html
Larry Paulson
Last updated: Apr 24 2024 at 01:07 UTC