scientific article; zbMATH DE number 5200727

zbMath1125.46059MaRDI QIDQ5310892

Bas Spitters

Publication date: 15 October 2007

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Hilbert spacesconstructive mathematics

Mathematics Subject Classification ID

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

Related Items (2)

Bohrification of operator algebras and quantum logic ⋮ A topos for algebraic quantum theory

This page was built for publication: