The applicative realm

MaRDI QIDQ5452018zbMATH OpenFDO

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) Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 1418436
• 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
• A feasible theory of truth over combinatory algebra
• scientific article; zbMATH DE number 512776 (Why is no real title available?)
• Frege structures for partial applicative theories
• scientific article; zbMATH DE number 1418436 (Why is no real title available?)
• scientific article; zbMATH DE number 5057460 (Why is no real title available?)

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)