Separation properties and Boolean powers

DOI10.4064/CM-48-2-167-172MaRDI QIDQ3726094zbMATH OpenOpenAlexFDO

Authors Steven Garavaglia, J. M. Plotkin

Publication date 1984

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/cm-48-2-167-172

zbMATH Keywords

Boolean algebraseparating structure

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Boolean algebras (Boolean rings) (06E99)

Recommendations

• Separation results for Boolean function classes
• Boolean algebras and low separation axioms
• scientific article; zbMATH DE number 3906396
• Boolean powers over incomplete boolean algebras
• Separation theorems
• On the geometric separability of Boolean functions
• Boolean products and subdirect powers
• scientific article; zbMATH DE number 4005130
• Properties of Boolean orthoposets

Cited in

(3)

• B-separating algebras
• Separation results for Boolean function classes
• A logic covering undefinedness in program proofs

This page was built for publication: Separation properties and Boolean powers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3726094)