Pages that link to "Item:Q4647115"

The following pages link to THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115):

Displaying 9 items.

• The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
• In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
• On the strength of Ramsey's theorem for pairs (Q2732267) (← links)
• The strength of Ramsey's theorem for coloring relatively large sets (Q2921021) (← links)
• Random reals, the rainbow Ramsey theorem, and arithmetic conservation (Q4916553) (← links)
• RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC (Q4977228) (← links)
• The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)
• (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)
• Erdős-Moser and \(I \Sigma_2\) (Q6635147) (← links)