Embeddings into the countable atomless Boolean algebra
Stijn Vermeeren · arXiv (Cornell University) · 2010
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 relevant results about lattices, Boolean algebras and embeddings between them.