The following pages link to CHOICE-FREE STONE DUALITY (Q5107222):
Displayed 9 items.
- The category of finitary biframes as the category of pointfree bispaces (Q1979276) (← links)
- Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
- Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629) (← links)
- B-frame duality (Q2689804) (← links)
- Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic (Q6067750) (← links)
- A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras (Q6171421) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Proper spaces are spectral (Q6182511) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)