104.452 Forcing in set theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2015W, VO, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

The students become familar with the "forcing" method in set theory. 

Subject of course

ZFC models, partial orders and complete Boolean algebras as forcing notions. Independence of the continum hypothesis. Further topics depending on the audience's interests:  iterated forcing, Martin's axiom, the Solovy model. 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue16:00 - 17:0006.10.2015Sem.R. DA grün 05 Vorbesprechung
Thu09:30 - 11:0012.11.2015 - 28.01.2016Sem.R. DA grün 04 Forcing Donnerstag
Forcing in set theory - Single appointments
DayDateTimeLocationDescription
Tue06.10.201516:00 - 17:00Sem.R. DA grün 05 Vorbesprechung
Thu12.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu19.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu26.11.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu03.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu10.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu17.12.201509:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu07.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu14.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu21.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag
Thu28.01.201609:30 - 11:00Sem.R. DA grün 04 Forcing Donnerstag

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Language

German