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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call