The applicative realm

zbMATH Open1140.03038MaRDI QIDQ5452018FDOQ5452018

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A feasible theory of truth over combinatory algebra
• Remarks on applicative theories
• Frege structures for partial applicative theories

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Theories with self-application and computational complexity. 👍 👎
• Remarks on applicative theories 👍 👎
• Truth in 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)