The following pages link to Shoenfield is Gödel after Krivine (Q3437042):
Displaying 10 items.
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)