Completions and co-products of Heyting algebras (Q1167717)
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: Completions and co-products of Heyting algebras |
scientific article; zbMATH DE number 3773583
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completions and co-products of Heyting algebras |
scientific article; zbMATH DE number 3773583 |
Statements
Completions and co-products of Heyting algebras (English)
0 references
1981
0 references
bounded distributive lattices
0 references
Heyting algebras
0 references
forcing extensions
0 references
intuitionistic methods
0 references
Stone space
0 references
prime ideals
0 references
canonical completion
0 references
compactness
0 references
