Pages that link to "Item:Q324248"
From MaRDI portal
The following pages link to Reverse mathematical bounds for the termination theorem (Q324248):
Displaying 6 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)
- The Strength of the SCT Criterion (Q2988827) (← links)
- Partial Orders and Immunity in Reverse Mathematics (Q3188275) (← links)
- A Combinatorial Bound for a Restricted Form of the Termination Theorem (Q3295155) (← links)
- An analysis of the Podelski–Rybalchenko termination theorem via bar recursion (Q5225855) (← links)