Paper Info
Title
Cupping and definability in the local structure of the enumeration degrees.
Abstract
We show that every splitting of 0'(e) in the local structure of the enumeration degrees, G(e), contains at least one low-cuppable member. We apply this new structural property to show that the classes of all k-pairs in G(e), all downwards properly Sigma(0)(2) enumeration degrees and all upwards properly Sigma(0)(2) enumeration degrees are first order definable in G(e).
Year
DOI
Venue
2012
10.2178/jsl/1327068696
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
77
1
ISSN
Citations 
PageRank 
0022-4812
1
0.39
References 
Authors
3
2
Name
Order
Citations
PageRank
Hristo Ganchev154.04
Mariya Ivanova Soskova22110.54