14 results
A MINIMAL PAIR IN THE GENERIC DEGREES

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
 Published online by Cambridge University Press:
 12 November 2019, pp. 531537
 Print publication:
 March 2020

 Article
 Export citation
Five papers on reverse mathematics and Ramseytheoretic principles  C. T. Chong, Theodore A. Slaman, and Yue Yang, The metamathematics of Stable Ramsey’s Theorem for Pairs. Journal of the American Mathematical Society, vol. 27 (2014), no. 3, pp. 863–892.  Manuel Lerman, Reed Solomon, and Henry Towsner, Separating principles below Ramsey’s Theorem for Pairs. Journal of Mathematical Logic, vol. 13 (2013), no. 2, 1350007, 44 pp.  Jiayi Liu, $RT_2^^2$ does not imply WKL0. Journal of Symbolic Logic, vol. 77 (2012), no. 2, pp. 609–620.  Lu Liu, Cone avoiding closed sets. Transactions of the American Mathematical Society, vol. 367 (2015), no. 3, pp. 1609–1630.  Wei Wang, Some logically weak Ramseyan theorems. Advances in Mathematics, vol. 261 (2014), pp. 1–25.

 Journal:
 Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
 Published online by Cambridge University Press:
 30 December 2016, pp. 526530
 Print publication:
 December 2016

 Article
 Export citation
COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
 Published online by Cambridge University Press:
 12 August 2016, pp. 10281046
 Print publication:
 September 2016

 Article
 Export citation
Π10 classes and strong degree spectra of relations

 Journal:
 The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
 Published online by Cambridge University Press:
 12 March 2014, pp. 10031018
 Print publication:
 September 2007

 Article
 Export citation
Combinatorial principles weaker than Ramsey's Theorem for pairs

 Journal:
 The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
 Published online by Cambridge University Press:
 12 March 2014, pp. 171206
 Print publication:
 March 2007

 Article
 Export citation
Bounding homogenous models

 Journal:
 The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
 Published online by Cambridge University Press:
 12 March 2014, pp. 305323
 Print publication:
 March 2007

 Article
 Export citation
Every 1generic computes a properly 1generic

 Journal:
 The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
 Published online by Cambridge University Press:
 12 March 2014, pp. 13851393
 Print publication:
 December 2006

 Article
 Export citation
Calibrating Randomness

 Journal:
 Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
 Published online by Cambridge University Press:
 15 January 2014, pp. 411491
 Print publication:
 September 2006

 Article
 Export citation
Bounding prime models

 Journal:
 The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
 Published online by Cambridge University Press:
 12 March 2014, pp. 11171142
 Print publication:
 December 2004

 Article
 Export citation
A computably categorical structure whose expansion by a constant has infinite computable dimension

 Journal:
 The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
 Published online by Cambridge University Press:
 12 March 2014, pp. 11991241
 Print publication:
 December 2003

 Article
 Export citation
Degree spectra of relations on computable structures in the presence of Δ20 isomorphisms

 Journal:
 The Journal of Symbolic Logic / Volume 67 / Issue 2 / June 2002
 Published online by Cambridge University Press:
 12 March 2014, pp. 697720
 Print publication:
 June 2002

 Article
 Export citation
A Δ20 set with no infinite low subset in either it or its complement

 Journal:
 The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
 Published online by Cambridge University Press:
 12 March 2014, pp. 13711381
 Print publication:
 September 2001

 Article
 Export citation
Degree spectra of intrinsically c.e. relations

 Journal:
 The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
 Published online by Cambridge University Press:
 12 March 2014, pp. 441469
 Print publication:
 June 2001

 Article
 Export citation
Degree Spectra of Relations on Computable Structures

 Journal:
 Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
 Published online by Cambridge University Press:
 15 January 2014, pp. 197212
 Print publication:
 June 2000

 Article
 Export citation