The applicative realm

MaRDI QIDQ5452018zbMATHFDO

Authors Reinhard Kahle

Publication date 28 March 2008

zbMATH Keywords

applicative theoriesexplicit mathematicsFrege structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Recommendations

• Publication:4941991
• Weak theories of truth and explicit mathematics
• Theories with self-application and computational complexity.
• Remarks on applicative theories
• Truth in applicative theories

Cited in

(6)

• Remarks on applicative theories
• scientific article; zbMATH DE number 512776 (Why is no real title available?)
• A feasible theory of truth over combinatory algebra
• scientific article; zbMATH DE number 5057460 (Why is no real title available?)
• scientific article; zbMATH DE number 1418436 (Why is no real title available?)
• Frege structures for partial applicative theories

This page was built for publication: The applicative realm

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