On the Axiomatisability of the Dual of Compact Ordered Spaces

Abstract

We prove that the category of Nachbin’s compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we observe that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to (i) any finitely accessible category, (ii) any first-order definable class of structures, and (iii) any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by Mundici: our result—whose proof is independent of Mundici’s theorem—asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras.

Abstract taken directly from the thesis.

E-mail: [email protected]

URL: https://air.unimi.it/retrieve/handle/2434/812809/1698986/phd_unimi_R11882.pdf

The Association for Symbolic Logic publishes abstracts of recent PhD theses in logic. The aim of this activity is to publish abstracts for the majority of recent PhD theses in logic world wide and submitted abstracts will therefore only be edited to ensure that they fall within the general area of logic and are appropriate in terms of length and content. This section will provide a permanent publicly accessible overview of theses in logic and thus make up for the lack of central repository for the theses themselves. The Thesis Abstracts Section is edited by Christian Rosendal. Any abstract should formally be submitted by the thesis advisor though it is expected to usually be prepared by the candidate. For detailed instructions for preparation and submission, including the required TeX template, please consult the link below. http://aslonline.org/LogicThesisAbstracts.html