Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types

This publication has 9 references indexed in Scilit:

• Formal systems for some branches of intuitionistic analysis
  Annals of Mathematical Logic, 1970
• Intensional interpretations of functionals of finite type I
  The Journal of Symbolic Logic, 1967
• Intuitionistic analysis and G\"odel's interpretation
  Journal of the Mathematical Society of Japan, 1963
• On weak completeness of intuitionistic predicate logic
  The Journal of Symbolic Logic, 1962
• Disjunction and existence under implication in elementary intuitionistic formalisms
  The Journal of Symbolic Logic, 1962
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Mathematical significance of consistency proofs
  The Journal of Symbolic Logic, 1958
• Recursive functions and intuitionistic number theory
  Transactions of the American Mathematical Society, 1947
• On the interpretation of intuitionistic number theory
  The Journal of Symbolic Logic, 1945