Pages that link to "Item:Q2362860"
From MaRDI portal
The following pages link to Arithmetical realizability and primitive recursive realizability (Q2362860):
Displaying 11 items.
- General recursive realizability and basic logic (Q828116) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman (Q3985093) (← links)
- The Arithmetical Hierarchy Over the Reals (Q4018169) (← links)
- Minimal readability of intuitionistic arithmetic and elementary analysis (Q4876321) (← links)
- On arithmetically realizable classes (Q4879094) (← links)
- (Q5294535) (← links)
- Primitive recursive real numbers (Q5307606) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- A Generalized Realizability and Intuitionistic Logic (Q5886518) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
