Realizability: a historical essay

JAAP VAN OOSTEN

doi:10.1017/S0960129502003626

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Crossref Citations

This article has been cited by the following publications. This list is generated based on data provided by Crossref.

Hyland, J.M.E. 2002. Proof theory in the abstract. Annals of Pure and Applied Logic, Vol. 114, Issue. 1-3, p. 43.

Sørensen, Morten Heine and Urzyczyin, Pawel 2006. Lectures on the Curry-Howard Isomorphism. Vol. 149, Issue. , p. 229.

Sørensen, Morten Heine and Urzyczyin, Pawel 2006. Lectures on the Curry-Howard Isomorphism. Vol. 149, Issue. , p. 27.

Sørensen, M.H. and Urzyczyn, P. 2006. Lectures on the Curry-Howard Isomorphism. Vol. 149, Issue. , p. 403.

GEUVERS, HERMAN NIQUI, MILAD SPITTERS, BAS and WIEDIJK, FREEK 2007. Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science, Vol. 17, Issue. 1, p. 3.

Moschovakis, Joan Rand 2009. Logic from Russell to Church. Vol. 5, Issue. , p. 77.

Cardone, Felice and Hindley, J. Roger 2009. Logic from Russell to Church. Vol. 5, Issue. , p. 723.

RIN, BENJAMIN G. and WALSH, SEAN 2016. REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION. The Review of Symbolic Logic, Vol. 9, Issue. 4, p. 752.

Basu, Sankha S. and Simpson, Stephen G. 2016. Mass problems and intuitionistic higher-order logic. Computability, Vol. 5, Issue. 1, p. 29.

Longley, John R. 2017. Logic Colloquium 2000. p. 32.

Miquel, Alexandre 2020. Implicative algebras: a new foundation for realizability and forcing. Mathematical Structures in Computer Science, Vol. 30, Issue. 5, p. 458.

Bohrer, Rose and Platzer, André 2020. Programming Languages and Systems. Vol. 12075, Issue. , p. 84.

Bohrer, Rose and Platzer, André 2020. Automated Reasoning. Vol. 12166, Issue. , p. 454.

Carl, Merlin Galeotti, Lorenzo and Passmann, Robert 2021. Connecting with Computability. Vol. 12813, Issue. , p. 82.

Carl, Merlin Galeotti, Lorenzo and Passmann, Robert 2023. Realisability for infinitary intuitionistic set theory. Annals of Pure and Applied Logic, Vol. 174, Issue. 6, p. 103259.

Article contents

Realizability: a historical essay

Abstract

Save article to Kindle

Save article to Dropbox

Save article to Google Drive

Reply to: Submit a response

Your details

You have entered the maximum number of contributors

Conflicting interests