Initial Segments Of The Σ20 Enumeration Degrees

[1]  Yue Yang,et al.  Bounding and nonbounding minimal pairs in the enumeration degrees , 2005, Journal of Symbolic Logic.

[2]  Andrea Sorbi,et al.  On Extensions of Embeddings into the Enumeration Degrees of the -Sets , 2005, J. Math. Log..

[3]  Mariya Ivanova Soskova,et al.  Cupping and definability in the local structure of the enumeration degrees , 2012, J. Symb. Log..

[4]  Yue Yang,et al.  Properly enumeration degrees and the high/low hierarchy , 2006, Journal of Symbolic Logic.

[5]  Andrea Sorbi,et al.  Bounding nonsplitting enumeration degrees , 2007, J. Symb. Log..

[6]  Iskander Sh. Kalimullin Definability of the jump operator in the Enumeration Degrees , 2003, J. Math. Log..

[7]  A. Sorbi,et al.  Embedding finite lattices into the Σ20 enumeration degrees , 2002, Journal of Symbolic Logic.

[8]  Guohua Wu,et al.  Diamond embeddings into the enumeration degrees , 2010, Math. Struct. Comput. Sci..

[9]  Charles M. Harris,et al.  Avoiding uniformity in the Δ20 enumeration degrees , 2014, Ann. Pure Appl. Log..

[10]  A. Lewis,et al.  Joining up to the generalized high degrees , 2010 .

[12]  S. Barry Cooper,et al.  Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ2 sets are dense , 1984, Journal of Symbolic Logic.

[13]  Mariya Ivanova Soskova,et al.  Embedding distributive lattices in the Σ02 enumeration degrees , 2012, J. Log. Comput..

[14]  Andrea Sorbi,et al.  Noncappable enumeration degrees below 0e′ , 1996, Journal of Symbolic Logic.

[15]  H. Rogers,et al.  Reducibility and Completeness for Sets of Integers , 1959 .

[16]  Mariya Ivanova Soskova,et al.  A non-splitting theorem in the enumeration degrees , 2009, Ann. Pure Appl. Log..

[17]  Kevin McEvoy,et al.  On minimal pairs of enumeration degrees , 1985, Journal of Symbolic Logic.

[18]  Andrea Sorbi,et al.  Cupping and Noncupping in the Enumeration Degrees of Sigma20 Sets , 1996, Ann. Pure Appl. Log..

[19]  Mariya Ivanova Soskova,et al.  Interpreting true arithmetic in the local structure of the enumeration degrees , 2012, The Journal of Symbolic Logic.

[20]  Charles M. Harris On the jump classes of noncuppable enumeration degrees , 2011, J. Symb. Log..

[21]  Joseph S. Miller,et al.  Defining totality in the enumeration degrees , 2015 .

[22]  H. Ganchev,et al.  Definability via Kalimullin pairs in the structure of the enumeration degrees , 2014 .