Remark on two papers concerning axiomatics of quantum mechanics
By modifying a scheme (due to Gunson) it can be shown that the space generated by all irreducible states has a prehilbertian structure.
By modifying a scheme (due to Gunson) it can be shown that the space generated by all irreducible states has a prehilbertian structure.