Boolean Valued Decomposition Theory of States

Abstract

Boolean valued analysis (i. e., analysis based on Boolean valued set theory) enables us to introduce a natural framework for decompositions of states over C^*-algebras with identity. The development apparently runs parallel with the traditional approach originating in von Neumann's reduction theory, but our logical approach succeeds in getting rid of separability restrictions that have haunted the traditional approach.