5 results
A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 10 July 2020, pp. 527-544
- Print publication:
- June 2022
-
- Article
- Export citation
Definability in the local structure of the ω-Turing degrees
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 7 / August 2019
- Published online by Cambridge University Press:
- 21 February 2019, pp. 927-937
-
- Article
- Export citation
INITIAL SEGMENTS OF THE ${\rm{\Sigma }}_2^0 $ ENUMERATION DEGREES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 316-325
- Print publication:
- March 2016
-
- Article
- Export citation
Interpreting true arithmetic in the local structure of the enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1184-1194
- Print publication:
- December 2012
-
- Article
- Export citation
Cupping and definability in the local structure of the enumeration degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 133-158
- Print publication:
- March 2012
-
- Article
- Export citation