4 results
The Sacks density theorem and Σ2-bounding
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 450-467
- Print publication:
- June 1996
-
- Article
- Export citation
On a question of Brown and Simpson
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 205-218
-
- Chapter
- Export citation
Finite injury and Σ1-induction
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 38-49
- Print publication:
- March 1989
-
- Article
- Export citation
Σ2 -collection and the infinite injury priority method
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 1 / March 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-221
- Print publication:
- March 1988
-
- Article
- Export citation