Pages that link to "Item:Q2909619"
From MaRDI portal
The following pages link to NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619):
Displaying 6 items.
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The Rado path decomposition theorem (Q2279931) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817) (← links)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363) (← links)
