Realizability: A Historical Essay

@article{Oosten2002RealizabilityAH,
  title={Realizability: A Historical Essay},
  author={Jaap van Oosten},
  journal={Mathematical Structures in Computer Science},
  year={2002},
  volume={12},
  pages={239-263}
}
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. 
View PDF
31 Citations
14 Cite Background
5 Cite Methods

References

Publications referenced by this paper.
SHOWING 1-10 OF 98 REFERENCES

Exercises in Realizability

J. van Oosten
  • PhD thesis, Universiteit van Amster- dam,
  • 1991
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

The e ective topos

J. Martin E. Hyland
  • 1982
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

The Theory of Triposes

A. M. Pitts
  • PhD thesis, Cambridge University
  • 1981
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

editor

A. S. Troelstra
  • Metamathematical Investigation of Intuitionistic Arith- metic and Analysis. Springer
  • 1973
VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

On the Interpretation of Intuitionistic Number Theory

Stephen Cole Kleene
  • J. Symb. Log.
  • 1945
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Extensional Realizability

Jaap van Oosten
  • Ann. Pure Appl. Logic
  • 1997
VIEW 3 EXCERPTS

A semantical proof of De Jongh's theorem

Jaap van Oosten
  • Arch. Math. Log.
  • 1991
VIEW 3 EXCERPTS

Constructivism in mathematics

Anne Sjerp Troelstra
  • 1988
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Church's thesis and a uni cation of types, 1986. Lecture at the Conference on Church's Thesis: Fifty Years Later

D. S. Scott
  • 1986
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Derived rules obtained by a model-theoretic approach to realis- ability

R. J. Grayson
  • 1981
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL