Concepedia

Realizability: a historical essay

Jaap van Oosten

Mathematical Structures in Computer Science · 2002 · 44 citations · 41 references

DOI

Concepts

Abstract

The purpose of this short paper is to sketch the development of a few basic topics in the history of realizability. The number of topics is quite limited and reflects very much my own personal taste, prejudices and area of competence.

References

41

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

, , +11

On the interpretation of intuitionistic number theory

S. C. Kleene · Journal of Symbolic Logic · 1945 · 540 citations

, , +8

Recursive functionals and quantifiers of finite types. I

S. C. Kleene · Transactions of the American Mathematical Society · 1959 · 319 citations · Full text

, , +9

Regular and exact completions

A. Carboni, E. M. Vitale · Journal of Pure and Applied Algebra · 1998 · 141 citations

, , +4

J. L. Bell. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford1977, xviii + 126 pp.

Thomas Jech · Journal of Symbolic Logic · 1981 · 133 citations

, , +13