Abstract
AbstractWe show that every splitting of in the local structure of the enumeration degrees, , contains at least one low-cuppable member. We apply this new structural property to show that the classes of all -pairs in , all downwards properly enumeration degrees and all upwards properly enumeration degrees are first order definable in .
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have