ON THE DUALITY BETWEEN BOOLEAN-VALUED ANALYSIS AND REDUCTION THEORY UNDER THE ASSUMPTION OF SEPARABILITY

It is well known that the real and complex numbers in the Scott-Solovay universe V(B) of ZFC based on a complete Boolean algebra B are represented by the real-valued and complex-valued Borel functions on the Stonean space OMEGA of B. The main purpose of this paper is to show that the separable complex Hilbert spaces and the von Neumann algebras acting on them in V(B) can be represented by reasonable classes of families of complex Hilbert spaces and of von Neumann algebras over OMEGA. This could be regarded as the duality between Boolean-valued analysis developed by Ozawa, Takeuti, and others and the traditional reduction theory based not on measure spaces but on Stonean spaces. With due regard to Ozawa, this duality could pass for a sort of reduction theory for AW*-modules over commutative AW*-algebras and embeddable AW*-algebras. Under the duality we establish several fundamental correspondence theorems, including the type correspondence theorems of factors.