A recently proposed axiom system for André’s central translation structures is improved upon. First, one of its axioms turns out to be dependent (derivable from the other axioms). Without this axiom, the axiom system is indeed independent. Second, whereas most of the original independence models were infinite, finite independence models are available. Moreover, the independence proof for one of...

1 The Axioms of Quantum Mechanics 1 1.1 The State Space Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 The Unitary Evolution Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.3 The Measurement Axiom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.4 The Composite System Axiom . . . . . . . . . . . . . . . . . . ...

In recent publications Alain Connes [1] and John Barrett [2] proposed to change the KO-dimension of the internal space of the standard model in its noncommutative representation [3] from zero to six. This apparently minor modification allowed to resolve the fermion doubling problem [4], and the introduction of Majorana mass terms for the right-handed neutrino. The price which had to be paid was...