A globalisation of the Gelfand duality theorem
DOI10.1016/J.APAL.2005.05.018zbMATH Open1103.18001OpenAlexW2094301123MaRDI QIDQ2575765FDOQ2575765
Authors: Christopher J. Mulvey, Bernhard Banaschewski 
Publication date: 6 December 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.018
Recommendations
Frames, locales (06D22) Other constructive mathematics (03F65) Topoi (18B25) Categorical methods in general topology (54B30) Function spaces in general topology (54C35) Compactness (54D30) Categories in geometry and topology (18F99) Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99)
Cites Work
- A globalization of the Hahn-Banach theorem
- A globalisation of the Gelfand duality theorem
- The spectral theory of commutative C∗-algebras: The constructive spectrum
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representation of rings by sections
- Title not available (Why is that?)
- About Stone's notion of spectrum
- A generalisation of Gel'fand duality
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Gleason cover of a topos. II
- Stone-Čech compactification of locales. II
- Commutative Rings in Which Every Prime Ideal is Contained in a Unique Maximal Ideal
- Title not available (Why is that?)
- Banach sheaves
- A non-commutative Gel'fand-Naimark theorem
- A constructive proof of the Stone-Weierstrass theorem
- Toposes without points
- Compact ringed spaces
- Title not available (Why is that?)
- Extension of invariant linear functionals: Hahn-Banach in the topos of M- sets
- Title not available (Why is that?)
- The spectral theory of commutative C∗-algebras: The constructive Gelfand-Mazur theorem
Cited In (31)
- A Duality Theorem for Real C * Algebras
- Topos quantum logic and mixed states
- Localic metric spaces and the localic Gelfand duality
- A horizontal categorification of Gel'fand duality
- 2010 North American Annual Meeting of the Association for Symbolic Logic
- Title not available (Why is that?)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory
- Stone-Čech compactification of locales. II
- Title not available (Why is that?)
- The spectral theory of commutative C∗-algebras: The constructive spectrum
- Ring theory and pointfree topology.
- The Gelfand spectrum of a noncommutative \(C^*\)-algebra: a topos-theoretic approach
- A topos for algebraic quantum theory
- A remark on Gelfand duality
- Constructive Gelfand duality for C*-algebras
- Topos models for physics and topos theory
- On the quantisation of spaces
- Filtral pretoposes and compact Hausdorff locales
- A comparison of two topos-theoretic approaches to quantum theory
- The Dauns--Hofmann theorem revisited
- A globalisation of the Gelfand duality theorem
- Gelfand-type duality for commutative von Neumann algebras
- An essay on noncommutative topology
- A categorial semantic representation of quantum event structures
- Duality for generic algebras
- Bohrification of operator algebras and quantum logic
- Locales in functional analysis
- Discrete noncommutative Gel'fand Naĭmark duality
- Intuitionistic quantum logic of an \(n\)-level system
- Title not available (Why is that?)
- A constructive proof of the Stone-Weierstrass theorem
This page was built for publication: A globalisation of the Gelfand duality theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575765)
