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

Banaschewski, Bernhard; Mulvey, Christopher J.

Quaest. Math. 23, No. 4, 465-488 (2000).

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

Keywords:

Gelfand-Naimark theorem; commutative \(C^*\)-algebras; Boolean prime ideal theorem; internal logic of topos; locales of maximal ideals; Grothendieck topos; Lindenbaum algebras; geometric theories; Barr-Diaconescu covering theorem

Citations:

Zbl 0977.18003