The Automorphism Group And Definability Of The Jump Operator In The Omega-Enumeration Degrees | 0 | 0.34 | 2021 |
Definability in the local structure of the ω-Turing degrees | 0 | 0.34 | 2019 |
A note on the enumeration degrees of 1-generic sets | 0 | 0.34 | 2016 |
Initial Segments Of The Σ20 Enumeration Degrees. | 0 | 0.34 | 2016 |
Interpreting true arithmetic in the local structure of the enumeration degrees. | 1 | 0.39 | 2012 |
The high/low hierarchy in the local structure of the omega-enumeration degrees. | 0 | 0.34 | 2012 |
Cupping and definability in the local structure of the enumeration degrees. | 1 | 0.39 | 2012 |
Embedding distributive lattices in the Σ02 enumeration degrees | 2 | 0.50 | 2012 |
Definability in the Local Theory of the omega-Enumeration Degrees | 0 | 0.34 | 2009 |
The jump operator on the omega-enumeration degrees | 0 | 0.34 | 2009 |
Exact Pair Theorem for the omega -Enumeration Degrees | 1 | 0.41 | 2007 |