The Gelfand spectrum of a noncommutative C*-algebra

In set theory, the Gelfand spectrum of a C*-algebra is only defined in the commutative case. Topos theory overcomes this restriction, especially through the oncept of a locale as the constructive analogue of a topological space. This approach unravels the logical structure of noncommutative spaces, which turns out to be intuitionistic.

Attachment	Size
Landsman-Bonn2010.pdf	3.24 MB