Functional interpretation of the β-rule

DOI10.2307/2274331MaRDI QIDQ3765771zbMATH OpenOpenAlexFDO

Authors George Koletsos

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274331

zbMATH Keywords

\(\beta \)-logicGödel-functional interpretation

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 3954904
• scientific article; zbMATH DE number 3908426
• scientific article; zbMATH DE number 4029553
• Functorial bounds for cut elimination inL βω . I
• The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus

Cited in

(3)

• scientific article; zbMATH DE number 3837991 (Why is no real title available?)
• scientific article; zbMATH DE number 3908426 (Why is no real title available?)
• scientific article; zbMATH DE number 3954904 (Why is no real title available?)

This page was built for publication: Functional interpretation of the β-rule

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