We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an N-1-ary variety of algebras. Further, we show that N-1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.

On the Axiomatisability of the Dual of Compact Ordered Spaces / M. Abbadini, L. Reggio. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - 28:6(2020), pp. 921-934. [10.1007/s10485-020-09604-y]

On the Axiomatisability of the Dual of Compact Ordered Spaces

M. Abbadini;
2020

Abstract

We provide a direct and elementary proof of the fact that the category of Nachbin's compact ordered spaces is dually equivalent to an N-1-ary variety of algebras. Further, we show that N-1 is a sharp bound: compact ordered spaces are not dually equivalent to any SP-class of finitary algebras.
English
Axiomatisability; Compact ordered spaces; Duality; Infinitary varieties
Settore MAT/01 - Logica Matematica
Articolo
Esperti anonimi
Pubblicazione scientifica
2020
Springer Science and Business Media B.V.
28
6
921
934
14
Pubblicato
Periodico con rilevanza internazionale
scopus
wos
datacite
Aderisco
info:eu-repo/semantics/article
On the Axiomatisability of the Dual of Compact Ordered Spaces / M. Abbadini, L. Reggio. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - 28:6(2020), pp. 921-934. [10.1007/s10485-020-09604-y]
open
Prodotti della ricerca::01 - Articolo su periodico
2
262
Article (author)
Periodico con Impact Factor
M. Abbadini, L. Reggio
File in questo prodotto:
File Dimensione Formato  
AbbadiniReggio2020_-_On_the_Axiomatisability_of_the_dual_of_compact_ordered_spaces.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 584.87 kB
Formato Adobe PDF
584.87 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/857970
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 5
social impact