Pages that link to "Item:Q4977228"
From MaRDI portal
The following pages link to RAMSEY’S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC (Q4977228):
Displaying 6 items.
- Another proof of the intuitionistic Ramsey theorem (Q685402) (← links)
- Ramsey's theorem and König's lemma (Q866890) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic (Q2968410) (← links)
- THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115) (← links)
- Refining the arithmetical hierarchy of classical principles (Q6094157) (← links)
