scientific article; zbMATH DE number 3908426

MaRDI QIDQ3686708zbMATH OpenFDO

Authors Jean-Yves Girard

Publication date 1984

zbMATH Keywords

beta-rulecompletenessdilatorsdirect limitsfunctorial prooffunctorspi-one-two logicpull-backssyntactical rulewell-founded orderswell-foundedness

Mathematics Subject Classification ID

Other infinitary logic (03C75) Inductive definability (03D70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Recursive ordinals and ordinal notations (03F15)

Recommendations

• The \(\omega{}\)-rule
• ON THE ITERATED ω‐RULE
• An extension of the omega-rule
• On an extremely restricted ω-rule
• Countable version of Omega-rule
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus
• The ω-problem
• Hilbert's program and the omega-rule
• Functional interpretation of the β-rule

Cited in

(6)

• The \(\omega{}\)-rule
• scientific article; zbMATH DE number 5903094 (Why is no real title available?)
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus
• Functional interpretation of the β-rule
• scientific article; zbMATH DE number 4057506 (Why is no real title available?)
• Completeness of the primitive recursive \(\omega \)-rule

This page was built for publication:

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