Jaap van Oosten


Portrait by Tine Blankenstein, 2002 (click in order to enhance); picture 10 years later (Luminy, february 2012), and Gil Cavalcanti's view (november 2013).

This is a less flattering picture, taken a year later by Andrej Bauer.
This is the Mathematics Football Team 2005 (University Competition; 9th place).
And this is the beautiful building I work in.


Contact details

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.


Research Interests and Publications

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.

My Ph.D. thesis.

List of my publications.

A few downloadable recent papers of mine.

Here are some slides of recent talks.

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.

The basic Logic lecture course Sets, Models and Proofs (joint work with Ieke Moerdijk) will appear with Springer in 2018.

I am not an intuitionist.

Curriculum Vitae.


Teaching, Seminars and 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, with lecture course materials.

Seminar

Here is a link to the Mathematical Logic Colloquium.

Refereeing

I will no longer respond to automatically generated refereeing requests from EasyChair or other such systems. Here is an explanation.


General Wisdom

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

Hermann Weyl, Das Kontinuum


Der Mensch kann denken, insofern er die Möglichkeit dazu hat.

Martin Heidegger, Was heisst Denken?


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


Oh, there are signs of life in the university, I tell W. It seems that it's alive. But that life is the life of maggots, I tell W., devouring the substance of the university from the inside, living on its rotting.
The corpse of the university is a breeding ground, I tell W. The corpse is where Capital comes to lay its eggs. The university is that rotten place where Capital deposits its eggs...

Lars Iyer, Exodus


It is not necessary that you leave the house. Stay at your table and hearken. Don't even hearken, just wait. Don't even wait, be perfectly still and alone. There the world will offer herself to be unmasked, she must, she will writhe ecstatically before you.

Kafka, Aphorismen-Zettelbuch 1920 (my translation)


Miscellaneaous


Here is a link to my close friend and colleague Kuba Wschodni.

Hier is een bijdrage aan de discussie rond Maarten van Buuren's De afrekening.
Hier is een bijdrage aan de discussie rond Dodenherdenking.
Hier is een Open brief aan Beatrix.
Here is some reflection on the western boycott of the Russian May 9 parade.
Here is a comment on Timothy Snyder's "Black Earth".


I wish you well.