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.
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.
Logica Matematica I.
Matematica I (Ingegneria)
Topos Theory
Language & Automata Theory & Applications
From the 2 March 2020 to the 6 March 2020 Location: Milanoseminario Michele Abrusci
From 11:00 to 12:00