On the variety of Heyting algebras with successor generated by all finite chains (Q3086536)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the variety of Heyting algebras with successor generated by all finite chains |
scientific article; zbMATH DE number 5872056
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the variety of Heyting algebras with successor generated by all finite chains |
scientific article; zbMATH DE number 5872056 |
Statements
30 March 2011
0 references
Heyting algebra
0 references
Heyting space
0 references
duality
0 references
subalgebras
0 references
homomorphic images
0 references
successor operation
0 references
finite chains
0 references
0.7862926721572876
0 references
0.7807033061981201
0 references
0.7716506123542786
0 references
0.7709760665893555
0 references
0.7658358812332153
0 references
