Found: 6
Select item for more details and to access through your institution.
OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 2, p. 151, doi. 10.1017/bsl.2015.40
- By:
- Publication type:
- Article
The reverse mathematics of non-decreasing subsequences.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 491, doi. 10.1007/s00153-017-0536-9
- By:
- Publication type:
- Article
Ramsey-type graph coloring and diagonal non-computability.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 899, doi. 10.1007/s00153-015-0448-5
- By:
- Publication type:
- Article
The weakness of the pigeonhole principle under hyperarithmetical reductions.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 3, p. 1, doi. 10.1142/S0219061321500136
- By:
- Publication type:
- Article
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS.
- Published in:
- Journal of Symbolic Logic, 2024, v. 89, n. 2, p. 829, doi. 10.1017/jsl.2022.69
- By:
- Publication type:
- Article
THE STRENGTH OF THE TREE THEOREM FOR PAIRS IN REVERSE MATHEMATICS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1481, doi. 10.1017/jsl.2015.80
- By:
- Publication type:
- Article