The following pages link to Elementary realizability (Q1362589):
Displaying 8 items.
- Polynomially bounded recursive realizability (Q817959) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Elementary functions and loop programs (Q1903128) (← links)
- Linear Realizability (Q3608428) (← links)
- (Q4215635) (← links)
- Trivial Reals (Q4916182) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)
- Arithmetic complexity of the predicate logics of certain complete arithmetic theories (Q5957916) (← links)