Pages that link to "Item:Q3570171"

The following pages link to The bounded functional interpretation of the double negation shift (Q3570171):

Displaying 3 items.

• The bounded functional interpretation of bar induction (Q435192) (← links)
• Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
• THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)