On the axiomatisability of the dual of compact ordered spaces
We provide a direct and elementary proof of the fact that the category of Nachbin’s compact ordered spaces is dually equivalent to an ℵ1-ary variety of algebras. Further, we show that ℵ1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2020
|