This book demonstrates the main advantages of Boolean valued analysis which provides the tools for transforming, for example, function spaces to subsets of the reals, operators to functionals, and vector-functions to numerical mappings. Boolean valued representations of algebraic systems, Banach spaces, and involutive algebras are examined thoroughly.
Audience: This volume is intended for classical analysts seeking powerful new tools, and for model theorists in search of challenging applications of nonstandard models.