Embeddings into the countable atomless Boolean algebra

Abstract: We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of

m a t h b b N

. Along the way, we discuss all relevant results about lattices, Boolean algebras and embeddings between them.

This page was built for publication: Embeddings into the countable atomless Boolean algebra