嵌入到可数无原子布尔代数中
Embeddings into the countable atomless Boolean algebra
摘要：
证明了从每个可数分配格到$\mathbb{N}$的可计算子集的布尔代数都有一个格嵌入.在此过程中，我们讨论了格，布尔代数和它们之间的嵌入的所有相关结果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
