Pages that link to "Item:Q5313381"
From MaRDI portal
The following pages link to Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381):
Displaying 12 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)
- Forcing-theoretic aspects of Hindman's theorem (Q2407561) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- ON THE SET-THEORETIC STRENGTH OF ELLIS’ THEOREM AND THE EXISTENCE OF FREE IDEMPOTENT ULTRAFILTERS ON <i>ω</i> (Q4579806) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363) (← links)
- (Q5711881) (← links)