Pages that link to "Item:Q2915896"
From MaRDI portal
The following pages link to Term extraction and Ramsey's theorem for pairs (Q2915896):
Displaying 11 items.
- Program extraction for 2-random reals (Q365682) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
- On uniform relationships between combinatorial problems (Q2796522) (← links)
- Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs (Q2898881) (← links)
- A logical analysis of the generalized Banach contractions principle (Q3145986) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)