Pages that link to "Item:Q435242"
From MaRDI portal
The following pages link to Primitive recursion and the chain antichain principle (Q435242):
Displaying 9 items.
- Program extraction for 2-random reals (Q365682) (← links)
- 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)
- Dominating the Erdős-Moser theorem in reverse mathematics (Q2400499) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Controlling iterated jumps of solutions to combinatorial problems (Q2964279) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- Thin set theorems and cone avoidance (Q5218249) (← links)
- OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS (Q5346692) (← links)
