The following pages link to An analysis of Ramsey's theorem (Q1327381):
Displaying 12 items.
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- Space of valuations (Q1006605) (← links)
- Two remarks on Ramsey's theorem (Q1059632) (← links)
- Nonstandard combinatorics (Q1119635) (← links)
- A constructive topological proof of van der Waerden's theorem (Q1910731) (← links)
- Some logically weak Ramseyan theorems (Q2453567) (← links)
- Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic (Q2968410) (← links)
- Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics (Q3353014) (← links)
- A recursion theoretic analysis of the clopen Ramsey theorem (Q3691655) (← links)
- Large Finite Sets (Q3727991) (← links)
- A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680) (← links)
- A Combinatorial Theorem (Q5797044) (← links)