Abstract
We prove that every countable distributive lattice is embeddable in the Σ02 enumeration degrees via a 0—1 preserving monomorphism. Moreover, we prove that every countable distributive lattice is embeddable below arbitrary Δ02 degree via a 0 preserving monomorphism.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have