A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions

Details A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions

2012-04-25

arxiv.org/abs/1204.5631v1

Mathematics

Logic

Scientific paper

We use G\"{o}del's Dialectica interpretation to produce a computational version of the well known proof of Ramsey's theorem by Erd\H{o}s and Rado. Our proof makes use of the product of selection functions, which forms an intuitive alternative to Spector's bar recursion when interpreting proofs in analysis. This case study is another instance of the application of proof theoretic techniques in mathematics.

Affiliated with

Also associated with

No associations

Rating

A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Constructive Interpretation of Ramsey's Theorem via the Product of Selection Functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-137873