Searching for "An Analysis of Ramsey's Theorem" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On The Strength Of Ramsey's Theorem For Pairs
by Peter A. Cholak, Carl G. Jockusch, Jr., Theodore A. Slaman
… of previous work on the analysis of Konig's Lemma and the infinite form of Ramsey's Theorem in terms…
Cited by 21 (3 self) – Add To MetaCart

Type Theory and Programming
by Thierry Coquand , Bengt Nordström, Jan M. Smith, Björn von Sydow — 1994
… proof, using ALF, is given in [18] where a type theoretic analysis of Ramsey's theorem is presented…
Cited by 21 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB