Embeddings into the countable atomless Boolean algebra

Stijn Vermeeren

We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of $\mathbb{N}$. Along the way, we discuss all re…