Pages that link to "Item:Q4323037"
From MaRDI portal
The following pages link to Strictly primitive recursive realizability, I (Q4323037):
Displayed 6 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)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)