Comparison of MacNeille, Canonical, and Profinite Completions

被引：5
作者：
Bezhanishvili, Guram [2 ]
Vosmaer, Jacob [1 ]
机构：
[1] Univ Amsterdam, Inst Log Language & Computat, NL-1018 TV Amsterdam, Netherlands
[2] New Mexico State Univ, Dept Math Sci, Las Cruces, NM 88003 USA
来源：
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS | 2008年 / 25卷 / 04期
关键词：
MacNeille completion; Canonical completion; Profinite completion; Duality theory;
D O I：
10.1007/s11083-008-9095-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.
引用
收藏
页码：299 / 320
页数：22
相关论文
共 21 条
  • [1] CATEGORICAL CHARACTERIZATION OF MACNEILLE COMPLETION
    BANASCHEWSKI, B
    BRUNS, G
    [J]. ARCHIV DER MATHEMATIK, 1967, 18 (04) : 369 - +
  • [2] Profinite heyting algebras
    Bezhanishvili, G.
    Bezhanishvili, N.
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2008, 25 (03): : 211 - 227
  • [3] Profinite completions and canonical extensions of Heyting algebras
    Bezhanishvili, Guram
    Gehrke, Mai
    Mines, Ray
    Morandi, Patrick J.
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2006, 23 (2-3): : 143 - 161
  • [4] Bezhanishvili N., 2006, THESIS U AMSTERDAM
  • [5] BIGENERATION IN COMPLETE LATTICES AND PRINCIPAL SEPARATION IN ORDERED SETS
    ERNE, M
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 8 (02): : 197 - 221
  • [6] THE DEDEKIND-MACNEILLE COMPLETION AS A REFLECTOR
    ERNE, M
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 1991, 8 (02): : 159 - 173
  • [7] Esakia L., 1974, SOV MATH DOKL, V15, P147
  • [8] MacNneille completions and canonical extensions
    Gehrke, M
    Harding, J
    Venema, Y
    [J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2006, 358 (02) : 573 - 590
  • [9] Bounded lattice expansions
    Gehrke, M
    Harding, J
    [J]. JOURNAL OF ALGEBRA, 2001, 238 (01) : 345 - 371
  • [10] Gehrke M., 1994, MATH JPN, V40, P207
123