Join-completions of partially ordered algebras

被引：3
|
作者：
Gil-Ferez, Jose [1 ]
Spada, Luca [2 ]
Tsinakis, Constantine [3 ]
Zhou, Hongjun [4 ]
机构：
[1] Univ Bern, Bern, Switzerland
[2] Univ Salerno, Salerno, Italy
[3] Vanderbilt Univ, 221 Kirkland Hall, Nashville, TN 37235 USA
[4] Shaanxi Normal Univ, Xian, Shaanxi, Peoples R China
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2020年 / 171卷 / 10期
基金：
瑞士国家科学基金会; 欧盟地平线“2020”; 中国国家自然科学基金;
关键词：
Finite embeddability property; Join-completion; Nucleus; Partially ordered algebra; Residuated lattice; Lattice-ordered group; FINITE EMBEDDABILITY PROPERTY; INTERNAL PROPERTIES; PSEUDO-COMPLEMENTS; MODEL PROPERTY; PROOF THEORY; EXTENSIONS; INTERPOLATION; UNIVERSAL; LOGICS;
D O I：
10.1016/j.apal.2020.102842
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We present a systematic study of join-extensions and join-completions of partially 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 lattice-ordered algebras. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页数：33
相关论文
共 50 条
12345