Onderwijspagina Jaap van Oosten

Dictaten/Lecture Notes

Lecture notes for courses I have given:

The basic Logic course Sets, Models and Proofs; joint work with Ieke Moerdijk, is now a bookwith Springer.
Model Theory lecture notes
Recursion Theory lecture notes in Dutch
Computability Theory Lecture notes in English, under construction
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 Lecture Notes

Cursussen Logica

Hier staan korte beschrijvingen van de vakken:

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/Teaching in 2023--2024

Grondslagen van de Wiskunde, November 2023-January 2024
Mastermath course Topos Theory, February--May 2024
Student Seminar Logic (Categorical Logic), February-May 2024 (WISM550)

Onderwijs/Teaching in 2022--2023

Grondslagen van de Wiskunde, November 2022-January 2023
Mastermath course Topos Theory, February--May 2023
Student Seminar Logic (Computability and Gödel Incompleteness), February-May 2023 (WISM550)
Model Theory, February-May 2023

Onderwijs/Teaching in 2021--2022

Grondslagen van de Wiskunde, November 2021-January 2022
Mastermath course Topos Theory, February--May 2022
Student Seminar Logic (Stability), February-May 2022 (WISM550)

Onderwijs/Teaching in 2020--2021

Grondslagen van de Wiskunde, November 2020-January 2021
Mastermath course Topos Theory, February--May 2021
Student Seminar Logic, February-May 2021

Onderwijs/Teaching in 2019--2020

Grondslagen van de Wiskunde, November 2019-January 2020
Mastermath course Topos Theory, February--May 2020
Student Seminar Logic (Algebraic Set Theory), February-May 2020 (WISM550)

Onderwijs/Teaching in 2018--2019

Mastermath course Topos Theory, September--December 2018
Grondslagen van de Wiskunde, November 2018-January 2019
Student Seminar Logic (Ultracategories), February-May 2019 (WISM550)

Onderwijs/Teaching in 2017--2018

Student Seminar on Constructible Sets, February--May 2018
Grondslagen van de Wiskunde, November 2017-January 2018
Mastermath course Category Theory and Topos Theory, February-May 2018

Onderwijs/Teaching in 2016--2017

Student Seminar on Models of Intuitionism, February 2017-June 2017
Grondslagen van de Wiskunde, Februari-Maart 2017

Onderwijs/Teaching in 2015--2016

Student Seminar on Set Theory, September 2015-January 2016
Grondslagen van de Wiskunde, November 2015-January 2016
Mastermath course Category Theory and Topos Theory, February-May 2016

Onderwijs/Teaching in 2014--2015

Student Seminar on Tame Topology and O-minimal Structures, September 2014-January 2015
Grondslagen van de Wiskunde, November 2014-January 2015
Mastermath course Gödel's Incompleteness Theorems, February-May 2015

Onderwijs/Teaching in 2013--2014

Onderwijs in 2012--2013

Wat is Wiskunde?
Grondslagen van de Wiskunde
Mastermath course in Computability Theory

Back to base.