Constructive Gelfand duality for C*-algebras

DOI10.1017/S0305004109002515zbMath1183.46052MaRDI QIDQ3183160

Thierry Coquand, Bas Spitters

Publication date: 19 October 2009

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Constructive functional analysis (46S30)

Related Items (7)

A Duality Theorem for Real C * Algebras ⋮ A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces ⋮ Bohrification of operator algebras and quantum logic ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ A topos for algebraic quantum theory

Cites Work

• A constructive proof of the Stone-Weierstrass theorem
• About Stone's notion of spectrum
• Anneaux preordonnes
• A globalisation of the Gelfand duality theorem
• The spectral theory of commutative C^∗-algebras: The constructive spectrum
• The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem
• The Positive Cone in Banach Algebras
• Dynamical method in algebra: Effective Nullstellensätze

This page was built for publication: Constructive Gelfand duality for C*-algebras