Pages that link to "Item:Q2402958"
From MaRDI portal
The following pages link to A herbrandized functional interpretation of classical first-order logic (Q2402958):
Displaying 5 items.
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
