Constructive results on operator algebras

zbMATH Open1125.46059MaRDI QIDQ5310892FDOQ5310892

Authors: Bas Spitters 

Publication date: 15 October 2007

Full work available at URL: http://www.jucs.org/jucs_11_12/constructive_results_on_operator

Recommendations

• scientific article; zbMATH DE number 2247265
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• scientific article
• A first constructive look at the comparison of projections
• Toward a constructive theory of unbounded linear operators

zbMATH Keywords

constructive mathematicsHilbert spaces

Mathematics Subject Classification ID

General theory of von Neumann algebras (46L10) Abstract operator algebras on Hilbert spaces (47L30) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Cited In (7)

• A topos for algebraic quantum theory
• Algebra structure of operator-valued Riesz means
• A new axiomatic approach in the theory of operator algebras
• Bohrification of operator algebras and quantum logic
• Title not available (Why is that?)
• Powers of positive elements in \(C^*\)-algebras
• Structure theorems for certain operator algebras

This page was built for publication: Constructive results on operator algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5310892)