Pages that link to "Item:Q3083144"
From MaRDI portal
The following pages link to Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144):
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)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)