Separation properties and Boolean powers

DOI10.4064/cm-48-2-167-172zbMath0595.03027OpenAlexW1227948990MaRDI QIDQ3726094

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

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

Related Items (1)

A logic covering undefinedness in program proofs

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