Pages that link to "Item:Q4323037"

The following pages link to Strictly primitive recursive realizability, I (Q4323037):

Displaying 9 items.

• Polynomially bounded recursive realizability (Q817959) (← links)
• General recursive realizability and basic logic (Q828116) (← links)
• Elementary realizability (Q1362589) (← 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)
• THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY (Q5099782) (← 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)
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302) (← links)