Profinite completions and canonical extensions of Heyting algebras (Q862977): Difference between revisions

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.

0 references

Mathematics Subject Classification ID

06D20

0 references

0 references

0 references

0 references

profinite completion

0 references

canonical extension

0 references

duality theory

0 references

Heyting algebra

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11083-006-9037-x

0 references

0 references

0 references

Varieties of monadic Heyting algebras. II: Duality theory

0 references

Locally finite varieties of Heyting algebras

0 references

Q3128959

0 references

Q3858918

0 references

Q4111635

0 references

A coalgebraic view of Heyting duality

0 references

Q4150804

0 references

Q4049062

0 references

Q3735758

0 references

Bounded lattice expansions

0 references

Q4313857

0 references

Q2704574

0 references

Bounded distributive lattice expansions

0 references

Q3270120

0 references

Q4200260

0 references

On profinite completions and canonical extensions

0 references

On the canonicity of Sahlqvist identities

0 references

Boolean Algebras with Operators. Part I

0 references

Pretabular superintuitionistic logic

0 references

Q5340517

0 references

Representation of Distributive Lattices by means of ordered Stone Spaces

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:862977

@@ Property / cites work @@
+Q3910575
@@ Property / cites work: Q3910575 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of monadic Heyting algebras. II: Duality theory
+Normal rank
@@ Property / cites work @@
+Locally finite varieties of Heyting algebras
@@ Property / cites work: Locally finite varieties of Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858918
@@ Property / cites work: Q3858918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4111635
@@ Property / cites work: Q4111635 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic view of Heyting duality
@@ Property / cites work: A coalgebraic view of Heyting duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4049062
@@ Property / cites work: Q4049062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735758
@@ Property / cites work: Q3735758 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4313857
@@ Property / cites work: Q4313857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704574
@@ Property / cites work: Q2704574 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded distributive lattice expansions
@@ Property / cites work: Bounded distributive lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3270120
@@ Property / cites work: Q3270120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / rank @@
+Normal rank
@@ Property / cites work @@
+On profinite completions and canonical extensions
@@ Property / cites work: On profinite completions and canonical extensions / rank @@
+Normal rank
@@ Property / cites work @@
+On the canonicity of Sahlqvist identities
@@ Property / cites work: On the canonicity of Sahlqvist identities / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular superintuitionistic logic
@@ Property / cites work: Pretabular superintuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5340517
@@ Property / cites work: Q5340517 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank