Profinite completions and canonical extensions of Heyting algebras
type: Item
instance of: scholarly article
title: Profinite completions and canonical extensions of Heyting algebras
zbMATH Open document ID: 1112.06008
author: Guram Bezhanishvili
author: Mai Gehrke
author: Ray Mines
author: Patrick Morandi
published in: Order
publication date: 2007-01-25T00:00:00Z
review text: Necessary and sufficient conditions are obtained for the profinite completion of a Heyting algebra to coincide with its canonical extension. This provides a new criterion for a variety of Heyting algebras to be finitely generated, and a new proof of the fact that every finitely generated variety of Heyting algebras is canonical.
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06D50
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 5118502
zbMATH Keywords: profinite completion
zbMATH Keywords: canonical extension
zbMATH Keywords: duality theory
zbMATH Keywords: Heyting algebra
MaRDI profile type: Publication
full work available at URL: s11083-006-9037-x
OpenAlex ID: W2157374667
cites work: Q3910575
cites work: Varieties of monadic Heyting algebras. II: Duality theory
cites work: Locally finite varieties of Heyting algebras
cites work: Q3128959
cites work: Q3858918
cites work: Q4111635
cites work: A coalgebraic view of Heyting duality
cites work: Q4150804
cites work: Q4049062
cites work: Q3735758
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: Monotone bounded distributive lattice expansions
cites work: Bounded distributive lattice expansions
cites work: Q3270120
cites work: Q4200260
cites work: On profinite completions and canonical extensions
cites work: On the canonicity of Sahlqvist identities
cites work: Boolean Algebras with Operators. Part I
cites work: Pretabular superintuitionistic logic
cites work: Q5340517
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
DOI: 10.1007/S11083-006-9037-X
description: scientific article; zbMATH DE number 5118502