Locally finite varieties of Heyting algebras (Q818713)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Locally finite varieties of Heyting algebras |
scientific article |
Statements
Locally finite varieties of Heyting algebras (English)
0 references
21 March 2006
0 references
For a variety \(\mathcal V\) of Heyting algebras it is shown that the following are equivalent: (1) \(\mathcal V\) is locally finite; (2) the \(\mathcal V\)-coproduct of two finite \(\mathcal V\)-algebras is finite; (3) either \(\mathcal V\) is the variety of Boolean algebras or finite \(\mathcal V\)-copowers of the 3-element chain are finite. It is also shown that \(\mathcal V\) is generated by its finite members if and only if it is generated by a locally finite \(\mathcal V\)-algebra, and that \(\mathcal V\) is finitely generated if and only if it is residually finite.
0 references
Heyting algebras
0 references
locally finite varieties
0 references
coproducts
0 references