Pages that link to "Item:Q436224"
From MaRDI portal
The following pages link to \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224):
Displaying 26 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Inductive inference and reverse mathematics (Q324252) (← links)
- Program extraction for 2-random reals (Q365682) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- The inductive strength of Ramsey's theorem for pairs (Q507201) (← links)
- The thin set theorem for pairs implies DNR (Q894259) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- On the strength of Ramsey's theorem for trees (Q2182273) (← links)
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- Combinatorial principles between \(\text{RRT}_2^2\) and \(\text{RT}_2^2\) (Q2258112) (← links)
- Comparing the strength of diagonally nonrecursive functions in the absence of \(\Sigma_2^0\) induction (Q2795915) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Nonstandard models in recursion theory and reverse mathematics (Q2925331) (← links)
- Weakly Represented Families in Reverse Mathematics (Q2970957) (← links)
- STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES (Q2976339) (← links)
- THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES (Q2976345) (← links)
- Combinatorial principles weaker than Ramsey's Theorem for pairs (Q3426570) (← links)
- On the Π<sub>1</sub> <sup>1</sup> -separation principle (Q3545211) (← links)
- THE STRENGTH OF RAMSEY’S THEOREM FOR PAIRS AND ARBITRARILY MANY COLORS (Q4647115) (← links)
- On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224) (← links)
- Reverse mathematics and Ramsey's property for trees (Q4931100) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
- Variations of statement, variations of strength. The case of the Rival-Sands theorems (Q6147850) (← links)
- (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE (Q6203557) (← links)
