Pages that link to "Item:Q2878778"
From MaRDI portal
The following pages link to Ultrafilters in reverse mathematics (Q2878778):
Displaying 11 items.
- Degrees bounding principles and universal instances in reverse mathematics (Q490869) (← links)
- Reasonable ultrafilters, again (Q540401) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Strange ultrafilters (Q1712927) (← links)
- The Rado path decomposition theorem (Q2279931) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- On the strength of PA with a non-principal ultrafilter quantifier (Q3976993) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- Ultrafilters Throughout Mathematics (Q5073840) (← links)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363) (← links)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)