The following pages link to An extension of the omega-rule (Q283132):
Displaying 9 items.
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- A consistency proof of a system including Feferman's \(ID_{\xi}\) by Takeuti's reduction method (Q1100461) (← links)
- The \(\omega{}\)-rule (Q1207341) (← links)
- A Buchholz rule for modal fixed point logics (Q1942334) (← links)
- (Q3004238) (← links)
- (Q3686708) (← links)
- On an extremely restricted ω-rule (Q4132501) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- A note on Spector's quantifier-free rule of extensionality (Q5931215) (← links)
