scientific article; zbMATH DE number 845621

zbMATH Open0834.03024MaRDI QIDQ4865640FDOQ4865640

Authors: A. S. Troelstra 

Publication date: 15 February 1996

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1215498
• scientific article; zbMATH DE number 1497737
• Realizability: a historical essay
• scientific article; zbMATH DE number 3557757
• A Survey of Classical Realizability

zbMATH Keywords

intuitionistic logicintuitionistic arithmeticHeyting arithmeticKleene realizability

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Cited In (3)

• Axiomatizing higher-order Kleene realizability
• An extensional Kleene realizability semantics for the Minimalist Foundation
• Title not available (Why is that?)

This page was built for publication:

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