Suppose I have a set $B$ and operations $\land$ and $\lor$ and $\neg$ such that : $$ (B, \land, \lor, \neg) $$ is a Boolean algebra.
Can I always find a set $X$ such that this Boolean algebra is isomorphic to the canonical Boolean algebra induced on its powerset $\mathcal{P}(X)$ : $$(\mathcal{P}(X), \cap, \cup, \bar{\cdot}) \quad ?$$
If not, I'd be happy to commit to the two following simplifications :
- it is the case for a subset $\mathcal{F} \subseteq \mathcal{P}(X)$ of the powerset ?
- is it the case when $B$ and $X$ are finite ?
Stone's Theorem says in part that any Boolean algebra is isomorphic to a subalgebra of some power set.
Not every Boolean algebra is isomorphic to a power set; for example a power set cannot be countably infinite.