Model theory of Boolean products of subdirectly irreducible heyting algebras (Q4395730)
From MaRDI portal
scientific article; zbMATH DE number 1164182
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model theory of Boolean products of subdirectly irreducible heyting algebras |
scientific article; zbMATH DE number 1164182 |
Statements
Model theory of Boolean products of subdirectly irreducible heyting algebras (English)
0 references
22 November 1998
0 references
model completeness
0 references
subdirectly irreducible \(p\)-algebras
0 references
model companions
0 references
relative Stone algebras
0 references
substructure completeness
0 references
Boolean product
0 references
subdirectly irreducible Heyting algebras
0 references
atomless Post algebras
0 references
