nLab Jaap van Oosten

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:

On topos theory:

category: people

Last revised on January 29, 2024 at 16:59:34. See the history of this page for a list of all contributions to it.