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 条
  • [1] A class of join-completions of partially ordered semigroups
    Haiwei Wang
    Semigroup Forum, 2023, 106 : 504 - 515
  • [2] A class of join-completions of partially ordered semigroups
    Wang, Haiwei
    SEMIGROUP FORUM, 2023, 106 (02) : 504 - 515
  • [3] Join-completions of L-ordered sets
    Wang, Kaiyun
    Zhao, Bin
    FUZZY SETS AND SYSTEMS, 2012, 199 : 92 - 107
  • [4] COMPLETIONS OF PARTIALLY ORDERED SETS AND UNIVERSAL ALGEBRAS
    BLEICHER, MN
    SCHNEIDE.H
    ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1966, 17 (3-4): : 271 - &
  • [5] PROBLEM OF IDENTITY HEREDITY IN DEDEKIND COMPLETIONS OF PARTIALLY ORDERED UNIVERSAL ALGEBRAS
    JUNEK, HJ
    MATHEMATISCHE NACHRICHTEN, 1972, 52 (1-6) : 35 - &
  • [6] COMPLETIONS FOR PARTIALLY ORDERED SEMIGROUPS
    ERNE, M
    REICHMAN, JZ
    SEMIGROUP FORUM, 1987, 34 (03) : 253 - 285
  • [7] COMPLETIONS OF PARTIALLY ORDERED SETS
    BANASCHEWSKI, B
    NELSON, E
    SIAM JOURNAL ON COMPUTING, 1982, 11 (03) : 521 - 528
  • [8] Admissible subsets and completions of ordered algebras
    Valdis Laan
    Jianjun Feng
    Xia Zhang
    Algebra universalis, 2023, 84
  • [9] Admissible subsets and completions of ordered algebras
    Laan, Valdis
    Feng, Jianjun
    Zhang, Xia
    ALGEBRA UNIVERSALIS, 2023, 84 (02)
  • [10] Injective Hulls are Completions of Ordered Algebras
    Zhang, Xia
    Laan, Valdis
    Feng, Jianjun
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2023, 41 (02): : 539 - 550
12345