Pages that link to "Item:Q4579817"
From MaRDI portal
The following pages link to CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817):
Displaying 5 items.
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← 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)
- Reduction games, provability and compactness (Q5055312) (← links)