Pages that link to "Item:Q2287392"
From MaRDI portal
The following pages link to Generalized realizability for extensions of the language of arithmetic (Q2287392):
Displaying 6 items.
- On hyperarithmetical realizability (Q268079) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- Generalized Realizability and Basic Logic (Q5056354) (← links)
- A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (Q5704378) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)