Embedding distributive lattices in the Sigma(2)(0) enumeration degrees

作者：Ganchev Hristo^*; Soskova Mariya

来源：Journal of Logic and Computation, 2012, 22(4): 779-792.

DOI：10.1093/logcom/exq042

• Enumeration degrees
• local theory
• distributive lattices
• embeddings

We prove that every countable distributive lattice is embeddable in the Sigma(2)(0) enumeration degrees via a 0-1 preserving monomorphism. Moreover, we prove that every countable distributive lattice is embeddable below arbitrary Delta(2)(0) degree via a 0 preserving monomorphism.

• 出版日期2012-8