The following pages link to On an extremely restricted ω-rule (Q4132501):
Displaying 3 items.
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)