Choice-free duality for orthocomplemented lattices by means of spectral spaces

Joseph McDonald, Kentaro Yamamoto

The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander's Subbase Theorem, which asserts…