Abstract
We give an algorithm for deciding whether an embedding of a finite partial order [Formula: see text] into the enumeration degrees of the [Formula: see text]-sets can always be extended to an embedding of a finite partial order [Formula: see text].
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have