The following pages link to (Q3797180):
Displayed 5 items.
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- A combinatorial proof of the dense Hindman's theorem (Q2275370) (← links)
- Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
- On the strength of König's duality theorem for countable bipartite graphs (Q4292597) (← links)
- Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)