MacNeille transferability and stable classes of Heyting algebras
type: Item
instance of: scholarly article
title: MacNeille transferability and stable classes of Heyting algebras
zbMATH Open document ID: 1472.06009
author: Guram Bezhanishvili
author: John Harding
author: Julia Ilin
author: Frederik Möllerström Lauridsen
published in: Algebra Universalis
publication date: 2018-10-30T00:00:00Z
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06B23
zbMATH DE Number: 6968514
zbMATH Keywords: transferability
zbMATH Keywords: MacNeille completion
zbMATH Keywords: distributive lattice
zbMATH Keywords: Heyting algebra
MaRDI profile type: Publication
full work available at URL: s00012-018-0534-8
OpenAlex ID: W2879850305
cites work: From a lattice to its ideal lattice
cites work: Q4083730
cites work: Projective distributive lattices
cites work: Leo Esakia on duality in modal and intuitionistic logics
cites work: Locally finite reducts of Heyting algebras and canonical formulas
cites work: Cofinal stable logics
cites work: Completeness of S4 with respect to the real line: revisited
cites work: Model theory.
cites work: MacNeille completions of FL-algebras
cites work: Q3956998
cites work: Q3735758
cites work: Distributive Sublattices of a Free Lattice
cites work: On the relation of a distributive lattice to its lattice of ideals
cites work: Bounded lattice expansions
cites work: MacNeille completions and canonical extensions
cites work: Lattice Theory: Foundation
cites work: Q3134794
cites work: Q4652057
cites work: The category of semilattices
cites work: Projective lattices and bounded homomorphisms
cites work: Intermediate logics admitting a structural hypersequent calculus
cites work: The embedding of a distributive lattice into its ideal lattice is pure
cites work: Q5734410
cites work: Relative projectivity and transferability for partial lattices
DOI: 10.1007/S00012-018-0534-8
description: scientific article; zbMATH DE number 6968514