The foundation of quantum theory and noncommutative spectral theory: Part 2

The present paper comprises Sects. 5-8 of a work which proposes an axiomatic approach to quantum mechanics in which the concept of a filter is the central primitive concept. Having laid down the foundations in the first part of this work, the author arrived at a dual pair left-angle Y,M right-angle consisting of a base norm space Y and an order unit space M, being in order and norm duality with respect to each other. This is precisely the setting of noncommutative spectral theory, a theory which has been developed during the late nineteen seventies by Alfsen and Shultz. In this part he added to the four axioms (Axioms S, DP, R, SP) of Sect. 3 three further axioms (Axioms E, O, L). These axioms are suggested by the work of Alfsen and Shultz and and enable him to derive the JB-algebra structure of quantum mechanics (cf. Theorem 8.9)