Pages that link to "Item:Q5313381"
From MaRDI portal
The following pages link to Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381):
Displaying 7 items.
- Ramsey algebras and the existence of idempotent ultrafilters (Q283116) (← links)
- Reverse mathematics and marriage problems with finitely many solutions (Q335003) (← 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)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
