The following pages link to About Stone's notion of spectrum (Q1772250):
Displaying 18 items.
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Intuitionistic quantum logic of an \(n\)-level system (Q735205) (← links)
- Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory (Q981685) (← links)
- Space of valuations (Q1006605) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- The space of measurement outcomes as a spectral invariant for non-commutative algebras (Q1929295) (← links)
- A comparison of two topos-theoretic approaches to quantum theory (Q1936655) (← links)
- A constructive notion of codimension (Q2445023) (← links)
- A globalisation of the Gelfand duality theorem (Q2575765) (← links)
- THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH (Q3011597) (← links)
- Constructive Gelfand duality for C*-algebras (Q3183160) (← links)
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces (Q3188276) (← links)
- Topos models for physics and topos theory (Q3189927) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
