Pages that link to "Item:Q297665"
From MaRDI portal
The following pages link to Arithmetical realizability and basic logic (Q297665):
Displaying 7 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)
- Arithmetical realizability and primitive recursive realizability (Q2362860) (← links)
- Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)
