RAMSEY’S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS ALEXANDER KREUZER AND ULRICH KOHLENBACH Abstract. This paper addresses the strength of Ramsey’s theorem for pairs (RT22 ) over a weak base theory from the p - Weak base - Document - PDFSEARCH.IO

First Page	Meta Content
	RAMSEY’S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS ALEXANDER KREUZER AND ULRICH KOHLENBACH Abstract. This paper addresses the strength of Ramsey’s theorem for pairs (RT22 ) over a weak base theory from the p Add to Reading List Document Date: 2009-07-12 17:28:13 Open Document File Size: 231,02 KB Share Result on Facebook

RAMSEY’S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS ALEXANDER KREUZER AND ULRICH KOHLENBACH Abstract. This paper addresses the strength of Ramsey’s theorem for pairs (RT22 ) over a weak base theory from the pAdd to Reading List