C*-algebras and Boolean valued analysis