Pages that link to "Item:Q2976345"
From MaRDI portal
The following pages link to THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES (Q2976345):
Displaying 5 items.
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Pigeons do not jump high (Q2313367) (← links)
- Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499) (← links)
- Extracting randomness within a subset is hard (Q2663792) (← links)
