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 7 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)
• Linear extensions of partial orders and reverse mathematics (Q3144869) (← links)
• The Ginsburg-Sands theorem and computability theory (Q6492253) (← links)