Choice-free duality for orthocomplemented lattices by means of spectral spaces (Q2165629)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Choice-free duality for orthocomplemented lattices by means of spectral spaces |
scientific article; zbMATH DE number 7573925
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Choice-free duality for orthocomplemented lattices by means of spectral spaces |
scientific article; zbMATH DE number 7573925 |
Statements
Choice-free duality for orthocomplemented lattices by means of spectral spaces (English)
0 references
22 August 2022
0 references
topological duality
0 references
orthocomplemented lattice
0 references
orthospace
0 references
spectral space
0 references
compact open orthoregular algebra
0 references
Vietoris hyperspace
0 references
axiom of choice
0 references
0 references
