The following pages link to On hyperarithmetical realizability (Q268079):
Displaying 13 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)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- Absolute \(L\)-realizability and intuitionistic logic (Q2320010) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- The semantics of realizability for the constructive set theory based on hyperarithmetical predicates (Q2403574) (← links)
- Hartmanis-Stearns Conjecture on Real Time and Transcendence (Q2891306) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- On arithmetically realizable classes (Q4879094) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
