Dr. Bernhard Irrgang
Lectures in Previous Terms
Summer 2010
- Seminar: Computability Theory (with Merlin Carl)
- Exercise classes: Mathematical Logic
Winter 09/10
- Seminar: Graduate Seminar on Set Theory - Large Cardinals and Forcing (with Prof. Koepke)
- Problems Classes: Models of Set Theory II
Summer 2009:
- Seminar: Pcf Theory (with Prof. Koepke)
- Problems Classes: Models of Set Theory I
Winter 08/09:
- Lecture Course: Advanced Topics in Mathematical Logic - Two Cardinal Combinatorics
- Problems Classes: Set Theory
Summer 2008:
- Problems Classes: Mathematical Logic
Winter 07/08:
- Lecture Course: Advanced Topics in Mathematical Logic - Nonstandard Analysis
- Seminar: Graduate Seminar on Set Theory (with Prof. Koepke)
Summer 2007:
- Seminar: Applications of Forcing (with Prof. Koepke)
- Research Seminar: Finite Support Iterations along Morasses
Winter 2006/07:
- Problems Classes: Set Theory I
- Reading Class: Historic Forcing and rho-Functions
Summer 2006:
- Problems Classes: Introduction to Mathematical Logic
- Seminar: Nonstandard Analysis and Applications (with Prof. Albeverio)
Winter 2005/06:
- Lecture Course: Set Theory III
Summer 2005:
- Problems Classes: Logic and Discrete Mathematics for CS Students
- Seminar: Applications of Forcing (with Prof. Koepke)
Winter 2004/05:
- Lecture Course: Set Theory I (with Prof. Koepke)
- Problems Classes: Set Theory I
- Problems Classes: Linear Algebra for CS Students
Summer 2004:
- Seminar: pcf-Theory (with Prof. Schindler and Prof. Koepke)
- Problems Classes: Linear Algebra for Computer Scientists
Winter 2003/04:
- Problems Classes: Linear Algebra for Computer Scientists
- Seminar: Martin's Axiom and Absoluteness (with Prof. Koepke)
- Reading Class: Core Models (with Prof. Koepke)
Summer 2003:
- Seminar: Models of Set Theory (with Prof. Koepke)
- Reading Class: Constructibility Theory (with Prof. Koepke)
Winter 2002/2003:
- Problems Classes: Linear Algebra
Summer 2002:
- Problems Classes: Complex Function Theory