Boolean Valued Analysis Approach to the Trace Problem of Aw∗-Algebras
From MaRDI portal
Publication:3776069
DOI10.1112/jlms/s2-33.2.347zbMath0636.46054MaRDI QIDQ3776069
Publication date: 1986
Published in: Journal of the London Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1112/jlms/s2-33.2.347
types; transfer principle; centre-valued trace; AW\({}^ *\)-algebras; Scott's and Solovay's Boolean valued universe of ZFC set theory
46L10: General theory of von Neumann algebras
46L05: General theory of (C^*)-algebras
46L35: Classifications of (C^*)-algebras
46S20: Nonstandard functional analysis
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Functional realization of \(AW^*\)-algebras of type I, Forcing in nonstandard analysis, A Boolean-valued approach to Gleason's theorem