Countable version of Omega-rule

DOI10.1007/978-3-642-20920-8_21MaRDI QIDQ3003361zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 27 May 2011

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20920-8_21

zbMATH Keywords

\(\Omega\)-rule\(\Pi^1_1\)-analysiscut-elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• An extension of the omega-rule
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
• Further applications of ultra-conservative ω-rules
• The \(\omega{}\)-rule
• Ordinal analysis by transformations

Cited in

(6)

• The \(\omega{}\)-rule
• An extension of the omega-rule
• Further applications of ultra-conservative ω-rules
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
• scientific article; zbMATH DE number 3908426 (Why is no real title available?)
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics

This page was built for publication: Countable version of Omega-rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3003361)