Pages that link to "Item:Q324248"

The following pages link to Reverse mathematical bounds for the termination theorem (Q324248):

Displaying 2 items.

• The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
• Dickson's lemma and weak Ramsey theory (Q1734268) (← links)