7 results
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 28 April 2023, pp. 1-23
-
- Article
- Export citation
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1-29
-
- Article
- Export citation
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 24 November 2021, pp. 313-346
- Print publication:
- March 2022
-
- Article
- Export citation
RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 27 October 2020, pp. 72-108
- Print publication:
- March 2022
-
- Article
- Export citation
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 47-71
- Print publication:
- March 2022
-
- Article
- Export citation
THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1481-1499
- Print publication:
- December 2016
-
- Article
- Export citation
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 05 July 2016, pp. 151-169
- Print publication:
- June 2016
-
- Article
- Export citation