Pages that link to "Item:Q2898881"
From MaRDI portal
The following pages link to Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs (Q2898881):
Displaying 5 items.
- Program extraction for 2-random reals (Q365682) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- A logical analysis of the generalized Banach contractions principle (Q3145986) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)