Onderwijspagina Jaap van Oosten

Lecture Notes

Lecture notes for courses I have given:

• The basic Logic course Sets, Models and Proofs; joint work with Ieke Moerdijk.
• Model Theory lecture notes
• Recursion Theory lecture notes in Dutch
• Peano Arithmetic: Incompleteness Theorems and Nonstandard Models lecture notes
• Revised version of the Aarhus Lecture Notes on category theory. Here in pdf format.
• Mini-course in Intuitionism pdf file
• Topos Theory: Master Class course Spring 2007. Joint with Ieke Moerdijk. Preliminary Lecture Notes in pdf.

Cursussen Logica

Hier staan korte beschrijvingen van de vakken:

• Grondslagen
• Modeltheorie
• Recursietheorie

En hier is een pagina met informatie over afstuderen in de Logica

Here is a page about specializing in Logic in the Master Mathematical Sciences

Onderwijs in 2009--20010

In periods 3 and 4 I shall teach a mastermath course Gödel's Incompleteness Theorems, together with Prof. Henk Barendregt (RU). See here for more information.

Back to base.