Pages that link to "Item:Q3550582"

The following pages link to On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (Q3550582):

Displaying 34 items.

• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) (← links)
• The weakness of being cohesive, thin or free in reverse mathematics (Q503277) (← links)
• The inductive strength of Ramsey's theorem for pairs (Q507201) (← links)
• Ramsey's theorem for trees: the polarized tree theorem and notions of stability (Q964459) (← links)
• A weak variant of Hindman's theorem stronger than Hilbert's theorem (Q1745357) (← links)
• On the indecomposability of \(\omega^n\) (Q1762361) (← links)
• New bounds on the strength of some restrictions of Hindman's theorem (Q2011655) (← links)
• \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models (Q2048618) (← links)
• Effectiveness for the dual Ramsey theorem (Q2075273) (← links)
• Pigeons do not jump high (Q2313367) (← links)
• Schmerl decompositions in first order arithmetic (Q2326427) (← links)
• The uniform content of partial and linear orders (Q2400498) (← links)
• The reverse mathematics of non-decreasing subsequences (Q2402955) (← links)
• NONSTANDARD MODELS IN RECURSION THEORY AND REVERSE MATHEMATICS (Q2925331) (← links)
• Ramsey’s theorem for singletons and strong computable reducibility (Q2951171) (← links)
• Controlling iterated jumps of solutions to combinatorial problems (Q2964279) (← links)
• Effectiveness of Hindman’s Theorem for Bounded Sums (Q2970955) (← links)
• Weakly Represented Families in Reverse Mathematics (Q2970957) (← links)
• STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES (Q2976339) (← links)
• Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
• Open Questions in Reverse Mathematics (Q3174640) (← links)
• Computable Reductions and Reverse Mathematics (Q3188256) (← links)
• The metamathematics of Stable Ramsey’s Theorem for Pairs (Q3190948) (← links)
• ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM (Q4600456) (← links)
• Reverse mathematics and a Ramsey-type König's Lemma (Q4899173) (← links)
• COH, SRT 2 2 , and multiple functionals (Q4995606) (← links)
• Reduction games, provability and compactness (Q5055312) (← links)
• OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS (Q5346692) (← links)
• Cohesive avoidance and strong reductions (Q5496327) (← 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)
• The Ginsburg-Sands theorem and computability theory (Q6492253) (← links)
• Erdős-Moser and \(I \Sigma_2\) (Q6635147) (← links)
• The reverse mathematics of \textsf{CAC for trees} (Q6642882) (← links)