nLab Jaap van Oosten

• website

Selected writings

On realizability:

• Jaap van Oosten, Realizability: an introduction to its categorical side, Studies in Logic and the Foundations of Mathematics, vol. 152, Elsevier, 2008 (preface pdf)

On Lifschitz realizability:

• Jaap van Oosten, Lifschitz realizability. The Journal of Symbolic Logic, Volume 55, Issue 2 (1990), pp. 805-821. [doi:10.2307/2274666]

• Jaap van Oosten, Two remarks on the Lifschitz realizability topos. The Journal of Symbolic Logic, Volume 61, Issue 1, March 1996, pp. 70-79. [doi:10.2307/2275598]

On topos theory:

• Jaap van Oosten, Topos Theory (2018) [pdf, pdf]

Related entries

• realizability
• Lifschitz realizability

category: people