Results 101 to 110 of about 1,125 (159)
A permutability problem in infinite groups and Ramsey's theorem [PDF]
, 2001 Aliréza Abdollahi +1 more
openalex +1 more source
Ordered and partially-ordered variants of Ramsey's theorem
, 2015 Christopher Cox
openalex +2 more sources
A packed Ramsey's theorem and computability theory [PDF]
, 2013 Stephen Flood
openalex +1 more source
Ramsey’s theorem for 𝑛-dimensional arrays [PDF]
Bulletin of the American Mathematical Society, 1969 Graham, R. L., Rothschild, B. L.
openaire +3 more sources
Ramsey's Theorem for Pairs and $k$ Colors as a Sub-Classical Principle\n of Arithmetic [PDF]
, 2016 Stefano Berardi, Silvia Steila
openalex +1 more source
Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity)
, 2013 Keita Yokoyama
openalex +1 more source
An Application of Ramsey's Theorem to Proving Programs Terminate (An Exposition) [PDF]
, 2011 William Gasarch
openalex
Term extraction and Ramsey's theorem for pairs [PDF]
, 2012 Alexander Kreuzer, Ulrich Kohlenbach
openalex +1 more source
Ramsey's theorem and products in the Weihrauch degrees [PDF]
, 2018 Damir D. Dzhafarov +4 more
openalex +1 more source