Teacher is Jaap van Oosten. He can be found at room 5.07, tel. 3305. Email: j.vanoosten AT uu.nl
Participants: Nils Donselaar, Daniel Sempaio, Saskia van den Hoeven, Martijn den Besten, Dion Hartmann, Christian Nesenberend, Hodei Rodriguez, Jan Rooduijn, Patrick González, Javier Mágan, Jetze Zoethout, Sven Bosman, Tom de Jong, Anton Golov
The meetings are on Fridays 11:00 (sharp!)--13:00, in MIN 204. First meeting: Week 37 (Friday September 11) 2015.
Every student presents material, in a blackboard talk. It is permitted to distribute handouts to the audience. Students work in pairs; each session there will be two presentations of 45 minutes (but in each presentation, leave 5 minutes for discussion).
Additionally, every pair of students formulates a homework exercise, which the other participants do, and hand in to the speaker a week later. The speaker then grades this work and hands everything (including a model solution) to the teacher. The teacher, after examination, hands the grades to the participants. Make also a grading scheme: if an exercise consists of more than one part, tell the students what each part is worth.
In the course of the seminar, every student participates in three presentations in pairs.
Attendance is compulsory.
Learning goals are:
1. Student is able to rework a given text into a coherent and understandable presentation
2. Student has good understanding of the mathematics in the field of the seminar
3. Student can formulate relevant and challenging exercises
4. Student develops collaboration and communication skills
Your final grade is composed of your grade for the presentation (40%, of which 20% for understanding the mathematics and 20% for communicating it), the formulation and grading of the homework exercise (10%) and your solutions to the other speakers' exercises (50%).
Model Theory for Set Theory has to be nonstandard. Gödel's Incompleteness Theorems imply that we cannot define a model for ZF(C) in the usual way. Gödel himself defined an interpretation of ZF in itself: the Constructible sets. Cohen invented "forcing models".
In this seminar, we shall concentrate on "Boolean-valued models".
Terug naar de basis.