Pages that link to "Item:Q5310879"
From MaRDI portal
The following pages link to Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems (Q5310879):
Displaying 9 items.
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← 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)
- Zero sets of univariate polynomials (Q3065753) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)