Jaap van Oosten

Portrait by Tine Blankenstein, 2002 (click in order to enhance), and picture 10 years later (Luminy, february 2012).

This site is under permanent construction.
I work at the Mathematics Department of the University of Utrecht.
Secret Home Page of this Department.
My e-mail address is J.vanOosten AT uu.nl.
My office phone number is +31 30 2533305.
I work in the group of Ieke Moerdijk, whom you can admire here.

My research area is Mathematical Logic. Specifically, I am interested in the mathematics of various types of semantics for Intuitionistic Logic as well as in the metamathematics of intuitionistic formal systems. These interests involve Recursion Theory, Category Theory and the Proof Theory of Arithmetic.

A lot of my work has to do with Realizability. Here is a page with recent papers on Realizability and related subjects.

I have written a book on Realizability: Realizability - An Introduction to its Categorical Side, which has appeared March 2008 as Studies in Logic 152:

Here are Preface, Introduction and table of contents.
Here is a review of the book by Colin McLarty.
Here is the review of the book by Peter T. Johnstone, Bull. of Symbolic Logic 16 (3), September 2010, pp.407-409.
My reply to Johnstone, and an ensuing e-mail discussion.
At this moment, the best place to buy the book appears to be amazon.ca. Go here for a site that compares prices of different Internet sellers.

I am not an intuitionist.

Here is a list of my publications.

Here is a link to a few downloadable recent papers of myself: see papers.

Here are some slides of recent talks.

A page for the 2006-2007 Master Class in Mathematical Logic.

You find some lecture course material on my teaching page.
Here is a link to the Mathematical Logic Colloquium.
And here is a link to my close friend and colleague Kuba Wschodni.
And here, you can see a few samples of my style of refereeing.

Teaching

``It may be true that sadism is an important element in teaching, but it is better if it is at least partly sublimated and not openly encouraged by being flaunted before an audience'' - Charles Rosen, Piano Notes

My teaching page

Ik ben secretaris van de Examencommissie Wiskunde

Ein Urteil behauptet einen Sachverhalt; besteht dieser Sachverhalt, so ist das Urteil wahr, andernfalls unwahr.

Hermann Weyl, Das Kontinuum

To every rule there is an exception. And the only exception to the rule, that to every rule there is an exception, is the rule that to every rule there is an exception.

Het aller-absoluutste niets
is van een niet-bestaande fiets
het niet met iets gevuld zijn van de
al evenmin bestaande banden.

Zou het dan gek zijn, vroeg een hond,
als daar geen fietspomp voor bestond?

K. Stip, Op een hond

Hier is een bijdrage aan de discussie rond Maarten van Buuren's De afrekening.

I wish you well.