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):
Displaying 8 items.
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- Transfinite approximation of Hindman's theorem (Q1760370) (← 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)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766) (← links)