Boolean Valued Analysis of Banach Algebras

Abstract

We implement the Boolean valued analysis of Baer $ C^{\ast} $ -algebras and Jordan–Banach algebras. These algebras transform into $ AW^{\ast} $ - and $ JB $ -factors. Presentation of the factors as operator algebras leads to Kaplansky–Hilbert modules. We overview the basic properties of these objects.