MacNeille completions of lattice expansions

DOI10.1007/s00012-007-2033-1zbMath1133.06005OpenAlexW2033948719MaRDI QIDQ2474096

Yde Venema, M. Theunissen

Publication date: 5 March 2008

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-007-2033-1

zbMATH Keywords

modal algebrasorder topologylattice-ordered algebrasortholatticesresiduationlattice expansionsMacNeille completionspreservation resultsSahlqvist theory

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Other algebras related to logic (03G25) Topological lattices (06B30) Equational classes, universal algebra in model theory (03C05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Related Items

Reducts of relation algebras: the aspects of axiomatisability and finite representability, Algebraic proof theory for substructural logics: cut-elimination and completions, STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES, Grishin algebras and cover systems for classical bilinear logic, Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics, Modal MTL-algebras, Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators, Definable operators on stable set lattices, Algebraic proof theory: hypersequents and hypercompletions, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Canonical extensions and relational representations of lattices with negation, Residuated structures and orthomodular lattices, Hyper-MacNeille completions of Heyting algebras, MacNeille completion and profinite completion can coincide on finitely generated modal algebras