Ramsey's Theorem, Reverse Mathematics and Nonstandard Models

摘要

In layman's term, Ramsey's Theorem for pairs can be stated as follows: In a party of infinitely many participants, we can always find an infinite group of people such that all of them knew each other or all of them are mutual strangers. The pre cise statement of the general version of Ramsey's Theorem says: