This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...) determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

This axiomatization is based on the observation that ifG is the group of automorphisms of the states (induced, e.g., by suitable evolutions), then we can define a spherical function by mapping each element ofG to the matrix of its transition probabilities. Starting from five physically conservative axioms, we utilize the correspondence between spherical functions and representations to apply the structure theory for compact Lie groups and their orbits in representation spaces to arrive at the standard complex Hilbert space structure of (...) quantum mechanics. (shrink)