Pages that link to "Item:Q4579817"

The following pages link to CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC (Q4579817):

Displaying 2 items.

• NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
• Reduction games, provability and compactness (Q5055312) (← links)