Pages that link to "Item:Q5251363"
From MaRDI portal
The following pages link to ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363):
Displaying 6 items.
- Ramsey algebras and the existence of idempotent ultrafilters (Q283116) (← links)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)