[Russian Text Ignored]

DOI10.1002/MALQ.19830290702MaRDI QIDQ5895465zbMATH OpenOpenAlexFDO

Authors A. S. Kuzichev

Publication date 1983

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19830290702

zbMATH Keywords

deductive systemsformal arithmeticuntyped lambda-calculusarithmetic consistency

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 3878894
• Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation
• scientific article; zbMATH DE number 806614
• A conservative extension of a formal arithmetic
• scientific article; zbMATH DE number 2185664

Cited in

(11)

• Consistency argument and classification problem in -calculus
• Letter to the editor: Consistency of LPC+Ch.
• A conservative extension of a formal arithmetic
• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• scientific article; zbMATH DE number 3941504 (Why is no real title available?)
• Recursion-free modular arithmetic in the lambda-calculus
• scientific article; zbMATH DE number 3878894 (Why is no real title available?)
• Lambda theories allowing terms with a finite number of fixed points
• Herbrand consistency of some arithmetical theories
• Towards the range property for the lambda theory \(\mathcal H\)
• A normal form for arithmetical derivations implying the \(\omega\)-consistency of arithmetic

This page was built for publication: [Russian Text Ignored]

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