MacNeille completions and canonical extensions
type: Item
instance of: scholarly article
title: MacNeille completions and canonical extensions
zbMATH Open document ID: 1083.06009
DOI: 10.1090/S0002-9947-05-03816-X
author: Mai Gehrke
author: John Harding
author: Yde Venema
published in: Transactions of the American Mathematical Society
publication date: 2005-11-09T00:00:00Z
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 06E25
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 2227154
zbMATH Keywords: monotone bounded lattice expansions
zbMATH Keywords: Boolean algebras with operators
zbMATH Keywords: canonical extension
zbMATH Keywords: MacNeille completion
MaRDI profile type: Publication
cites work: Hüllensysteme und Erweiterung von Quasi‐Ordnungen
cites work: Q4083730
cites work: Modal logic
cites work: Q3934450
cites work: Model theory
cites work: Q3956998
cites work: Robinson lattices and their spectra
cites work: Bounded lattice expansions
cites work: Bounded distributive lattice expansions
cites work: Q3898534
cites work: The preservation of Sahlqvist equations in completions of Boolean algebras with operators
cites work: Q4128788
cites work: Varieties of complex algebras
cites work: Elementary generation and canonicity for varieties of Boolean algebras with operators
cites work: Persistence and atomic generation for varieties of Boolean algebras with operators
cites work: Erdős Graphs Resolve Fine's Canonicity Problem
cites work: Mathematical modal logic: A view of its evolution
cites work: Q4955600
cites work: Relation algebras by games
cites work: Boolean Algebras with Operators. Part I
cites work: Boolean Algebras with Operators
cites work: Proceedings of the 3rd Scandinavian logic symposium
cites work: Atomic orthocomplemented lattices
cites work: Partially Ordered Sets
cites work: Completions of B<scp>OOLEAN</scp> Algebras with operators
cites work: Dynamic algebras: Examples, constructions, applications
cites work: Q4081211
cites work: Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
cites work: Q4104164
cites work: Q4215609
full work available at URL: s0002-9947-05-03816-x
OpenAlex ID: W1508875804
Recommended article: Comparison of MacNeille, canonical, and profinite completions
Recommended article: Q4652057
Recommended article: MacNeille completions of FL-algebras
Recommended article: A generalization of the Dedekind-MacNeille completion
Recommended article: Hyper-MacNeille completions of Heyting algebras
Recommended article: Q5293993
Recommended article: Complemented MacNeille completions and algebras of fractions
Recommended article: On the MacNeille Completion of Weakly Dicomplemented Lattices
Recommended article: The MacNeille completions for residuated \(S\)-posets
Recommended article: MacNeille completions of lattice expansions
description: scientific article; zbMATH DE number 2227154