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: | , |
|---|---|
| 格式: | Journal article |
| 語言: | English |
| 出版: |
Springer
2020
|