| Lecturer | Prof. Dr. Gerhard Jäger, Prof. Dr. George Metcalfe |
| Assistant | Dandolo Flumini, Dr. Takako Nemoto |
| Lecture Number | W6098 |
| ECTS credits | depend on students' majors. |
| Start | September 23, 2010 |
| Time | |
| Venue | Lecture room A97
Gebäude der Exakten Wissenschaften ("ExWi" building)
Sidlerstrasse 5
|
| Content | Set theory:
- Formal theories of sets and classes
- Ordinals and cardinals
- The axiom of choice
- Sierpinski's theorem
- Constructible sets
- Reflection principles
- Operational set theory
|
| Requirements | Basic knowledge in mathematical logic and/or theoretical computer science.
|
| References | Books:
- Thomas Jech: Set theory, the third millennium edition
- Raymond M. Smullyan and Melvin Fitting: Set theory and the continuum problem
Articles:
- Klaus Gloede: Reflection principles and indescribability
appeared in: Sets ans classes; On the work of Paul Bernays (1976)
- Peter Koellner: On reflection principles
appeared in: preprint (2008)
- M. Victoria Marshall R.: Higher order reflection principles
appeared in: Journal of symbolic logic vol. 54 no. 2 (1989)
|
| Repetition | Every semester with varying contents. |
| Homepage | https://sites.google.com/site/dandoloflumini/teaching/set-theory-seminar |
