The following pages link to (Q3797180):
Displayed 14 items.
- Ramsey algebras and the existence of idempotent ultrafilters (Q283116) (← links)
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- Effectiveness for the dual Ramsey theorem (Q2075273) (← links)
- Thin set versions of Hindman's theorem (Q2108578) (← links)
- Restrictions of Hindman's theorem: an overview (Q2117769) (← links)
- Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees (Q2155503) (← links)
- A combinatorial proof of the dense Hindman's theorem (Q2275370) (← links)
- Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
- Hindman's theorem and choice (Q2681269) (← links)
- On the strength of König's duality theorem for countable bipartite graphs (Q4292597) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem (Q4596010) (← links)
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH (Q5107225) (← links)
- Invariants, Boolean algebras and ACA₀⁺ (Q5713163) (← links)