The following pages link to The \(\omega{}\)-rule (Q1207341):
Displaying 8 items.
- An extension of the omega-rule (Q283132) (← links)
- Completeness of the primitive recursive \(\omega \)-rule (Q781515) (← links)
- Recursive \(\omega\)-rule for proof systems (Q1119627) (← links)
- Extending ω-consistent sets to maximally consistent, ω-complete sets (Q3033747) (← links)
- Further applications of ultra-conservative ω-rules (Q3318773) (← links)
- (Q3686708) (← links)
- Constructive aspects of the omega-rule: Application to proof systems in computer science and algorithmic logic (Q3975175) (← links)
- On an extremely restricted ω-rule (Q4132501) (← links)
