12 results
THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 10 September 2019, pp. 166-198
- Print publication:
- March 2020
-
- Article
- Export citation
Jump degrees of torsion-free abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1067-1100
- Print publication:
- December 2012
-
- Article
- Export citation
2010 North American Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-154
- Print publication:
- March 2011
-
- Article
- Export citation
Stability and posets
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-711
- Print publication:
- June 2009
-
- Article
- Export citation
Embedding finite lattices into the computably enumerable degrees — a status survey
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 206-229
-
- Chapter
- Export citation
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-136
- Print publication:
- March 2006
-
- Article
- Export citation
Reverse mathematics, Archimedean classes, and Hahn's Theorem
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 147-163
-
- Chapter
- Export citation
Computable categoricity of trees of finite height
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-215
- Print publication:
- March 2005
-
- Article
- Export citation
Reverse mathematics and the equivalence of definitions for well and better quasi-orders
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-712
- Print publication:
- September 2004
-
- 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. 1371-1381
- Print publication:
- September 2001
-
- Article
- Export citation
– CA0 and order types of countable ordered groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 192-206
- Print publication:
- March 2001
-
- Article
- Export citation
Ordered Groups: A Case Study in Reverse Mathematics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 45-58
- Print publication:
- March 1999
-
- Article
- Export citation