1
$\begingroup$

Recall that a subset $A$ of a Boolean algebra $B$ is a $\pi$-base if for every $b>0$ there is $a\in A$ with $0<a\le b$. For example, the definition of atomicity says that atoms constitute a $\pi$-base. In particular, it is easy to see that an atomic Boolean algebras has a countable $\pi$-base iff it is isomorphic to $2^{\mathbb{N}}$ or $2^{n}$. I have a suspicion that the list of complete atomless Boolean algebras with a countable $\pi$-base is also short (perhaps it is unique?). The only example that I know are the regular open sets of metrizable compacts.

What are complete atomless Boolean algebras with a countable $\pi$-base?

$\endgroup$

2 Answers 2

2
$\begingroup$

To make the answers concrete: the Boolean algebra of clopen subsets of the Cantor set is the unique countable atomless Boolean algebra. Its completion is the regular-open algebra of the Cantor set, which is isomorphic to the regular-open algebra of the unit interval (the map that identifies end points of complementary interval is an irreducible map from the Cantor set onto the unit interval).

And so, yes, the Stone space of the completion is the absolute of the Cantor set, the unit interval, $\dots$, every compact metrizable space without isolated points.

$\endgroup$
2
$\begingroup$

Yes. The complete atomless Boolean algebra with a countable $\pi$-base is unique up to isomorphism. For a proof, we observe that if $B$ has a countable $\pi$-base $A$, then the Boolean algebra $C$ generated by $A$ is a countable atomless Boolean algebra.

But one can use a back-and-forth algorithm to show that all countable atomless Boolean algebras are isomorphic. And the Boolean algebra $B$ is the completion of the Boolean algebra $C$, so since Boolean algebras have only one Boolean completion up-to-isomorphism, the Boolean algebra $B$ is unique up-to-isomorphism.

$\endgroup$
4
  • $\begingroup$ Thank you! Is there a concrete description? $\endgroup$
    – erz
    Commented May 2 at 23:33
  • 1
    $\begingroup$ It is the forcing to add a Cohen real, the completion of the unique countable atomless Boolean algebra, which has many concrete forms. For example, the periodic sets of integers. $\endgroup$ Commented May 2 at 23:49
  • $\begingroup$ @JoelDavidHamkins thank you! For my purposes it would be nice to have a topological description. It seems that the Stone Space of this algebra is the Gleason cover of e.g. [0,1], but I was hoping for something a little more "tangible" $\endgroup$
    – erz
    Commented May 3 at 0:17
  • $\begingroup$ The regular open subsets of the binary branching tree $2^{<\omega}$. $\endgroup$ Commented May 3 at 0:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .