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.
Category Theory.
Logica Matematica.
Matematica I (Ingegneria)
Matematica I (Sc.Amb.)
Logic Colloquium
From the 23 July 2018 to the 28 July 2018 Location: UdineSYSMICS School
From the 22 August 2018 to the 26 August 2018 Location: Les Diablerets, SwissAdvances in Modal Logic
From the 27 August 2018 to the 31 August 2018 Location: Bern Description:http://www.aiml2018.unibe.ch/
Scuola AILA
From the 27 August 2018 to the 1 September 2018 Location: Gargnano, Brescia, ItaliaLATD
From the 28 August 2018 to the 31 August 2018 Location: BernCinzia Di Candia
From 09:00 to 10:00Ricevimento Marco D’Angelo
From 10:00 to 11:00Gerardo Sasso
From 09:00 to 10:00Esame Marco D’Angelo
From 10:00 to 11:00