Join-completions of ordered algebras
Logic
2017-08-17 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1708.04990,
title = {Join-completions of ordered algebras},
author = {José Gil-Férez and Luca Spada and Constantine Tsinakis and Hongjun Zhou},
journal= {arXiv preprint arXiv:1708.04990},
year = {2017}
}