The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem

DOI10.2989/16073600009485990zbMath0977.18004OpenAlexW2121804058MaRDI QIDQ2710063

Christopher J. Mulvey, Bernhard Banaschewski

Publication date: 17 January 2002

Published in: Quaestiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2989/16073600009485990

zbMATH Keywords

commutative \(C^*\)-algebrasGrothendieck toposGelfand-Naimark theoremBoolean prime ideal theoremLindenbaum algebrasgeometric theoriesBarr-Diaconescu covering theoreminternal logic of toposlocales of maximal ideals

Mathematics Subject Classification ID

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

Related Items

Constructive Gelfand duality for C*-algebras ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Ring theory and pointfree topology. ⋮ THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH ⋮ On the quantisation of points ⋮ About Stone's notion of spectrum ⋮ Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory ⋮ Topos Quantum Logic and Mixed States ⋮ A topos for algebraic quantum theory ⋮ A noncommutative theory of Penrose tilings ⋮ On the quantisation of spaces ⋮ A globalisation of the Gelfand duality theorem ⋮ Tropological systems are points of quantales

This page was built for publication: The spectral theory of commutative C^∗-algebras: The constructive Gelfand-Mazur theorem