The following pages link to On hyperarithmetical realizability (Q268079):
Displaying 6 items.
- Generalized realizability and Markov's principle (Q785957) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
