Back to Results
First PageMeta Content
Proof theory / Computability theory / Logic in computer science / Mathematical logic / Intuitionism / Primitive recursive functional / Dialectica interpretation / Peano axioms / Second-order arithmetic / Reverse mathematics / Combinatory logic / Primitive recursive arithmetic


TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore
Add to Reading List

Document Date: 2013-09-25 08:51:12


Open Document

File Size: 751,81 KB

Share Result on Facebook
UPDATE