Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires (Q3808079)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires |
scientific article |
Statements
Théories d'algèbres de Boole munies d'idéaux distingués. I: Théories élémentaires (English)
0 references
1987
0 references
theory of Boolean algebras with a family of ideals
0 references
Heyting algebras of definable ideals
0 references
