Mathematical logic and theoretical computer science (51 ECTS)

Core modules logic

• 250089 SE 4 ECTS [ en ] Logic Colloquium
  Aschenbrenner, Do 15:00-16:30 (14×)
• 250100 VO 5 ECTS [ en ] ( GEMISCHT ) Axiomatic set theory 1
  Fischer, Di 09:45-11:15 (15×), Do 09:45-11:15 (14×)
• 250102 SE 4 ECTS [ en ] ( GEMISCHT ) Research Seminar in Set Theory
  Fischer, Di 15:00-16:30 (15×), Mi 25.05. 11:30-13:00, Di 28.06. 16:45-18:15
• 250179 PS 3 ECTS [ en ] Introductory seminar on Axiomatic set theory 1
  Millhouse, Mo 13:15-14:45 (14×)
• 510008 SE 4 ECTS [ en ] Research Seminar in Model Theory (VSM)
  Aschenbrenner, Mi 15:00-16:30 (16×)

Topics courses logic

• 250053 VO 3 ECTS [ en ] ( GEMISCHT ) Special Topics in Set Theory
  Zdomskyy, Fr 09:45-11:15 (14×)
• 250091 VO 5 ECTS [ en ] Special Topics in Model Theory
  Aschenbrenner, Di 13:15-14:45 (15×), Do 13:15-14:45 (14×)