COH, SRT 2 2 , and multiple functionals
From MaRDI portal
Publication:4995606
DOI10.3233/COM-190261MaRDI QIDQ4995606
Ludovic Patey, Damir D. Dzhafarov
Publication date: 25 June 2021
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.00321
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- The weakness of being cohesive, thin or free in reverse mathematics
- Using Ramsey's theorem once
- \({\Pi}_1^0\)-encodability and omniscient reductions
- On the strength of Ramsey's theorem for pairs
- On uniform relationships between combinatorial problems
- Turing Computability
- Ramsey’s theorem for singletons and strong computable reducibility
- The Vitali Covering Theorem in the Weihrauch Lattice
- STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES
- On notions of computability-theoretic reduction between Π21 principles
- Partial Orders and Immunity in Reverse Mathematics
- Slicing the Truth
- On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
- ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
- Ramsey’s theorem and products in the Weihrauch degrees
- Cohesive avoidance and strong reductions
