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. Also in pdf format.
• 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 2011--2012

• Grondslagen van de Wiskunde
• Wat is Wiskunde?
• Computability Theory (Master vak)

Back to base.