2010/06/23 by Vermeeren, Stijn
#FOS: Mathematics #Logic (math.LO) #Rings and Algebras (math.RA)
paper · doi:10.48550/arxiv.1006.4479
We prove that there is a lattice embedded from every countable distributive lattice into the Boolean algebra of computable subsets of ℕ. Along the way, we discuss all relevant results about lattices, Boolean algebras and embeddings between them.