12 results
NOTES ON SACKS’ SPLITTING THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 26 October 2023, pp. 1-30
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON SUPERSETS OF NON-LOW $_2$ SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1282-1292
- Print publication:
- September 2021
-
- Article
- Export citation
2011 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '11
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-476
- Print publication:
- September 2012
-
- Article
- Export citation
Quantitative aspects of speed-up and gap phenomena
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 5 / October 2010
- Published online by Cambridge University Press:
- 27 October 2010, pp. 707-722
-
- Article
- Export citation
Bounding non-GL2 and R.E.A.
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 989-1000
- Print publication:
- September 2009
-
- Article
- Export citation
Comparing DNR and WWKL
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1089-1104
- Print publication:
- December 2004
-
- Article
- Export citation
Collapsing Polynomial-Time Degrees
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 1-24
-
- Chapter
- Export citation
Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 880-905
- Print publication:
- September 1996
-
- Article
- Export citation
Resource bounded genericity
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 1-60
-
- Chapter
- Export citation
The theory of the recursively enumerable weak truth-table degrees is undecidable
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 864-874
- Print publication:
- September 1992
-
- Article
- Export citation
Degree theoretical splitting properties of recursively enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 4 / December 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1110-1137
- Print publication:
- December 1988
-
- Article
- Export citation
An extension of the nondiamond theorem in classical and α-recursion theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 586-607
- Print publication:
- June 1984
-
- Article
- Export citation