Results 101 to 110 of about 1,180 (130)
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
, 2016 Ludovic Patey, Keita Yokoyama
openalex +2 more sources
Ramsey's theorem and cone avoidance [PDF]
, 2009 Damir D. Dzhafarov, Carl G. Jockusch
openalex +1 more source
Ramsey's theorem for pairs, collection, and proof size
, 2020 Leszek Aleksander Kołodziejczyk +2 more
openalex +2 more sources
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics [PDF]
, 1993 Wim Veldman, Marc Bezem
openalex +1 more source
Ordered and partially-ordered variants of Ramsey's theorem
, 2015 Christopher Cox
openalex +2 more sources
The inductive strength of Ramsey's Theorem for Pairs
, 2016 C. T. Chong +2 more
openalex +1 more source
Strong Reductions between Relatives of the Stable Ramsey's Theorem
, 2017 David J. Nichols
openalex +2 more sources