The following pages link to On an extremely restricted ω-rule (Q4132501):
Displaying 7 items.
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- The \(\omega\)-consistency of elementary analysis (Q1375797) (← links)
- From Stenius' consistency proof to Schütte's cut elimination for \(\omega\)-arithmetic (Q2804471) (← links)
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- (Q3686708) (← links)
- A note on Spector's quantifier-free rule of extensionality (Q5931215) (← links)
- Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule (Q5937826) (← links)