Pages that link to "Item:Q3186059"

The following pages link to On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059):

Displaying 7 items.

• Dickson's lemma and weak Ramsey theory (Q1734268) (← links)
• In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
• Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
• On the strength of Ramsey's theorem for trees (Q2182273) (← links)
• Algebraic combinatorics in bounded induction (Q2216029) (← links)
• Reverse mathematics and colorings of hypergraphs (Q2312088) (← links)
• Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)