Pages that link to "Item:Q4808473"
From MaRDI portal
The following pages link to Provably total functions of Basic Arithmetic (Q4808473):
Displayed 11 items.
- Polynomially bounded recursive realizability (Q817959) (← links)
- General recursive realizability and basic logic (Q828116) (← links)
- Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424) (← links)
- General recursive realizability and intuitionistic logic (Q2246818) (← links)
- Generalized realizability for extensions of the language of arithmetic (Q2287392) (← links)
- A counterexample to polynomially bounded realizability of basic arithmetic (Q2330507) (← links)
- Arithmetical realizability and primitive recursive realizability (Q2362860) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY (Q5099782) (← 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)