Functional interpretation of the β-rule

DOI10.2307/2274331zbMATH Open0629.03037OpenAlexW2141846984MaRDI QIDQ3765771

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)

Related Items (2)

Title not available (Why is that?) ⋮ Title not available (Why is that?)

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)