Ramsey's Theorem for Pairs and Provably Recursive Functions
Work
Year: 2009
Type: article
Abstract: This paper addresses the strength of Ramsey's theorem for pairs ( R T 2 2 ) over a weak base theory from the perspective of 'proof mining'. Let R T 2 2 − denote Ramsey's theorem for pairs where the co... more
Authors Ulrich Kohlenbach, Alexander Kreuzer
Institution Technical University of Darmstadt
Cites: 20
Cited by: 13
Related to: 10
FWCI: 0.903
Citation percentile (by year/subfield): 83.39
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Life on land
Open Access status: bronze