Pages that link to "Item:Q6330328"
From MaRDI portal
The following pages link to On the Herbrand Functional Interpretation (Q6330328):
Displaying 4 items.
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)