The spectral theory of commutative C∗-algebras: The constructive spectrum

DOI10.2989/16073600009485989zbMath0977.18003OpenAlexW1991857267MaRDI QIDQ2710062

Christopher J. Mulvey, Bernhard Banaschewski

Publication date: 8 January 2002

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

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

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 (16)

Constructive Gelfand duality for C*-algebras ⋮ The space of measurement outcomes as a spectral invariant for non-commutative algebras ⋮ Presenting the frame of the unit circle. ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras ⋮ Ring theory and pointfree topology. ⋮ THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH ⋮ A constructive proof of the Stone-Weierstrass theorem ⋮ 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 spectrum