In this paper, coauthored with José Gil-Férez, Constantine Tsinakis, and Hongjun Zhou, we present a systematic study of join-extensions and join-completions of ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of ordered structures ranging from properties of the Dedekind-MacNeille completion to the proof of the finite embeddability property for a number of varieties of ordered algebras.
ArXiv preprint
Tags: Dedekind-MacNeille completion, FEP, finite embeddability property, join-completions, join-extensions, ordered algebras, Residuated lattices
This entry was last modified
on the 28th August 2017
by Luca Spada.
You can leave a comment, or trackback from your own site.
