×

zbMATH — the first resource for mathematics

Consequences, consistency and independence in Boolean algebras. (English) Zbl 0423.03057

MSC:
03G05 Logical aspects of Boolean algebras
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
06A15 Galois correspondences, closure operators (in relation to ordered sets)
06E99 Boolean algebras (Boolean rings)
PDF BibTeX XML Cite
Full Text: DOI