MacNeille completion and profinite completion can coincide on finitely generated modal algebras
| Authors | |
|---|---|
| Publication date | 2009 |
| Journal | Algebra Universalis |
| Volume | Issue number | 61 | 3-4 |
| Pages (from-to) | 449-453 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Published at | https://doi.org/10.1007/s00012-009-0028-9 |
| Downloads |
315745.pdf
(Final published version)
|
| Permalink to this page | |