Abstract
We prove that every partial boolean algebra is isomorphic to a partial boolean algebra of sets. As a consequence we obtain finite axiomatization of the theory of partial boolean algebras.
Get full access to this article
View all access options for this article.