Pages that link to "Item:Q1644984"
From MaRDI portal
The following pages link to The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984):
Displaying 3 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles (Q1680523) (← links)
- A weak variant of Hindman's theorem stronger than Hilbert's theorem (Q1745357) (← links)
