Main Article Content
The spectral theory of commutative C*-algebras: the constructive spectrum
Abstract
Keywords: locale; commutative C*-algebra; spectrum; propositional geometric theory; constructive; Gelfand duality
Quaestiones Mathematicae 23(2000), 425–464