Pages that link to "Item:Q2575765"

The following pages link to A globalisation of the Gelfand duality theorem (Q2575765):

Displaying 25 items.

• Localic metric spaces and the localic Gelfand duality (Q266141) (← links)
• Bohrification of operator algebras and quantum logic (Q383005) (← links)
• A categorial semantic representation of quantum event structures (Q385635) (← links)
• A horizontal categorification of Gel'fand duality (Q610688) (← links)
• A constructive proof of the Stone-Weierstrass theorem (Q678829) (← links)
• Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
• Stone-Čech compactification of locales. II (Q799970) (← links)
• Locales in functional analysis (Q807736) (← links)
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685) (← links)
• A topos for algebraic quantum theory (Q1048087) (← links)
• Ring theory and pointfree topology. (Q1426502) (← links)
• An essay on noncommutative topology (Q1824885) (← links)
• On the quantisation of spaces (Q1850106) (← links)
• A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
• A globalisation of the Gelfand duality theorem (Q2575765) (← links)
• Topos Quantum Logic and Mixed States (Q2825364) (← links)
• A Duality Theorem for Real C * Algebras (Q2888494) (← links)
• THE DAUNS–HOFMANN THEOREM REVISITED (Q2995428) (← links)
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH (Q3011597) (← links)
• 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
• Constructive Gelfand duality for C*-algebras (Q3183160) (← links)
• Topos models for physics and topos theory (Q3189927) (← links)
• A remark on Gelfand duality (Q3993944) (← links)
• (Q4463868) (← links)
• Filtral pretoposes and compact Hausdorff locales (Q6634617) (← links)