Embeddings into the countable atomless Boolean algebra
Rings and Algebras
2010-06-24 v1 Logic
Abstract
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.
Cite
@article{arxiv.1006.4479,
title = {Embeddings into the countable atomless Boolean algebra},
author = {Stijn Vermeeren},
journal= {arXiv preprint arXiv:1006.4479},
year = {2010}
}