Boolean Valued Analysis Approach to the Trace Problem of Aw∗-Algebras
Masanao Ozawa · Journal of the London Mathematical Society · 1986
It is shown that the concepts of AW∗-algebras and their types are the same both in the ordinary universe and in Scott's and Solovay's Boolean valued universe of ZFC set theory. Using this transfer principle, it is proved that a finite AW∗-algebra has a centre-valued trace if and only if its centre is the range of a faithful norm one projection.