A classification of type I \(AW^*\)-algebras and Boolean valued analysis
From MaRDI portal
Publication:1080130
DOI10.2969/jmsj/03640589zbMath0599.46083OpenAlexW2170041071MaRDI QIDQ1080130
Publication date: 1984
Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2969/jmsj/03640589
Boolean-valued models of set theorytype I \(AW^*\)-algebrauniqueness of the cardinal number attached to a homogeneous \(AW^*\)-algebra of type I
Classifications of (C^*)-algebras (46L35) Nonstandard functional analysis (46S20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (22)
Forcing in nonstandard analysis ⋮ Logical quantization of topos theory ⋮ Manuals in orthogonal categories ⋮ Elements of Tomita-Takesaki theory for embeddable \(AW^*\)-algebras ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Empirical quantum mechanics ⋮ Quantum set theory extending the standard probabilistic interpretation of quantum theory ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Boolean valued analysis of Banach algebras ⋮ On the structure of \(AJW\)-algebras of type \(I_2\) ⋮ Boolean methods in positivity ⋮ Functional realization of \(AW^*\)-algebras of type I ⋮ Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules ⋮ Forcing the truth of a weak form of Schanuel's conjecture ⋮ Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras ⋮ On the duality between Boolean-valued analysis and reduction theory under the assumption of separability ⋮ A Boolean-valued approach to Gleason's theorem ⋮ Unnamed Item ⋮ Boolean Valued Analysis: Background and Results ⋮ Boolean valued analysis and type I \(AW^*\)-algebras
This page was built for publication: A classification of type I \(AW^*\)-algebras and Boolean valued analysis