×

The spectral theory of commutative \(C^*\)-algebras: The constructive Gelfand-Mazur theorem. (English) Zbl 0977.18004

See the review above [B. Banaschewski, C. J. Mulvey, Quaest. Math. 23, No. 4, 425-464 (2000; Zbl 0977.18003)].

MSC:

18B25 Topoi
03G30 Categorical logic, topoi
18F99 Categories in geometry and topology
06D22 Frames, locales
46M15 Categories, functors in functional analysis
54D30 Compactness

Citations:

Zbl 0977.18003
PDF BibTeX XML Cite
Full Text: DOI