3 problems

Let ${{\mathsf{SPR}}}\xspace^+$ denote the behavioural formulation of the special principle of relativity, and let ${{\mathsf{SPR}_{{{\mathit{B}}}\xspace}}}\xspace$ denote the body…

Let $d\ge2$. Write $\operatorname{Num}(\mathsf{Th})$ for the class of quantity structures of models of a theory $\mathsf{Th}$, and let $\mathsf{SpecRel}_d$ be the axiom system for…

Let $n$ be the spacetime dimension, let $\mathsf{SpecRel}$ be the theory of special relativity, and let $\mathsf{AxThExp^-}$ be the axiom expressing that inertial observers can mov…