complete Heyting algebra
A Heyting algebra that is also a complete lattice is called a complete Heyting algebra. In the following, we give a lattice characterization of complete Heyting algebras without the relative pseudocomplementation operator .
Proposition 1.
Let be a complete Heyting algebra, then
for any , and
where , for any , and any subset of .
Proof.
We first prove the identity . For any , we have iff iff for all iff for all iff , hence .
Next, we show . For any , we have iff iff iff . ∎
The converse of the above is also true.
Proposition 2.
Let be a complete lattice such that
where , for any , and any subset of . Then for any , defining
turns into a complete Heyting algebra.
Proof.
We want to show that iff for any : iff . So ∎
From this, one readily concludes that any finite distributive lattice is Heyting.
Remark. Since any complete lattice is bounded, a complete Brouwerian lattice is a complete Heyting algebra. A complete Heyting algebra is also called a frame.
Title | complete Heyting algebra |
---|---|
Canonical name | CompleteHeytingAlgebra |
Date of creation | 2013-03-22 19:31:42 |
Last modified on | 2013-03-22 19:31:42 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 10 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 03G10 |
Classification | msc 06D20 |
Related topic | Locale |