MacNeille completion and profinite completion can coincide on finitely generated modal algebras

被引：0

作者：

Vosmaer, Jacob

机构：

[1] 1090 GE Amsterdam

来源：

ALGEBRA UNIVERSALIS | 2009年 / 61卷 / 3-4期

关键词：

modal algebra; MacNeille completion; profinite completion; CANONICAL EXTENSIONS; LATTICE EXPANSIONS;

D O I：

10.1007/s00012-009-0028-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Following Bezhanishvili and Vosmaer, we confirm a conjecture of Yde Venema by piecing together results from various authors. Specifically, we show that if A is a residually finite, finitely generated modal algebra such that HSP(A) has equationally definable principal congruences, then the profinite completion of A is isomorphic to its MacNeille completion, and. is smooth. Specific examples of such modal algebras are the free K4-algebra and the free PDL-algebra.

引用

页码：449 / 453

页数：5

共 20 条

[1] [Anonymous], 1950, Fundamenta Mathematicae
[2] CATEGORICAL CHARACTERIZATION OF MACNEILLE COMPLETION
BANASCHEWSKI, B
BRUNS, G
[J]. ARCHIV DER MATHEMATIK, 1967, 18 (04) : 369 - +
[3] BANASCHEWSKI B, 1971, P 3 PRAG TOP S SEPT, P51
[4] 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
[5] Comparison of MacNeille, Canonical, and Profinite Completions
Bezhanishvili, Guram
Vosmaer, Jacob
[J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2008, 25 (04): : 299 - 320
[6] Birkhoff G., 1967, Amer. Math. Soc. Colloq. Publ., V25
[7] ON THE STRUCTURE OF VARIETIES WITH EQUATIONALLY DEFINABLE PRINCIPAL CONGRUENCES .3.
BLOK, WJ
PIGOZZI, D
[J]. ALGEBRA UNIVERSALIS, 1994, 32 (04) : 545 - 608
[8] Davey B.A., 2002, INTRODUCTION, V2nd, DOI DOI 10.1017/CBO9780511809088
[9] Bounded distributive lattice expansions
Gehrke, M
Jónsson, B
[J]. MATHEMATICA SCANDINAVICA, 2004, 94 (01) : 13 - 45
[10] Gierz G., 1980, COMPENDIUM CONTINUOU

← 1 2 →