# Courses Summer Semester 2013

(Diese Seite gibt es auch auf Deutsch.)

- Note: Information on this page is tentative and subject to change without notice!

- Note: All lectures at the KGRC are given in English, or at least can be given in English if requested.

Place: All courses apart from "Basic concepts" VO+UE will be given in the KGRC lecture room (room 101). The "Introduction" VO will be given at UZA 2, lecture room 3. The "Introduction" UE will be given at UZA 2, lecture room 1.

See also the course catalogue of the University of Vienna for the 3 mathematics programmes:

Bachelor • Diploma • Master.

Number | Type | Hours (ECTS) | Title | Module | Lecturer | Time | Language |
---|---|---|---|---|---|---|---|

250064 | VO | 2 (3.0) | Basic concepts of mathematical logic | MLOL | Hans Adler | Tue 1:15pm–2:45pm starts 2013-03-05 | German |

250065 | UE | 1 (2.0) | Tutorials "Basic concepts of mathematical logic" | MLOL | Jakob Kellner | Thu 12:05–12:50pm starts 2013-03-07 | German |

250075 | VO | 3 (5.0) | Axiomatic set theory 1 | MLOM | Jakob Kellner | Fri 8:30am-11am starts 2013-03-08 | German; English possible by agreement |

250076 | PS | 2 (3.0) | Introductory seminar: "Axiomatic set theory 1" | MLOM | Stefan Hoffelner | Wed 4pm-5:30pm starts 2013-03-13 | German; English possible by agreement |

250077 | VO | 3 (5.0) | Introduction to theoretical computer science | MLOI | Moritz Müller | Tue 5pm-7:30pm (15 minutes break) starts 2013-03-12 | English possible by agreement |

250121 | VO | 2 (3.0) | Recursion Theory | MLOV | Hans Adler | Tue 3:15pm-4:45pm starts 2013-03-05 | English possible by agreement |

250120 | VO | 2 (4.0) | Selected topics in set theory | MLOV | Sy-David Friedman | Tue, Thu 2:00–3:00pm starts 2013-03-05 | English |

250119 | PJ+SE | 2 (4.0) | Project seminar (mathematical logic) | MLOS | Sy-David Friedman | Mon, Wed 2:00pm–3:00pm starts 2013-03-06 | English |

250118 | SE | 2 (4.0) | Research seminar in mathematical logic | MLOS | Sy-David Friedman | Thu 4:00pm–6:00pm starts 2013-03-07 | English |

There was a preparatory meeting for Axiomatic set theory 1, the introductory seminar, Introduction to theoretical computer science and Recursion Theory on 2013-03-04, 10:00am, in the KGRC lecture room (room 101).

## Course details

### Selected Topics from Set Theory

Time: Tuesdays, Thursdays 2:00pm–3:00pm

starts 2013-03-05

Invariant Descriptive Set Theory

We will follow Gao's book of the above title with a focus on the Borel reducibility of equivalence relations. An important aim will be to understand to what extent the results from the classical theory extend to equivalence relations on the generalised Baire space $\kappa^\kappa$ where $\kappa$ is uncountable (and there are only $\kappa$-many bounded subsets of $\kappa$).

### Project seminar (mathematical logic)

Time: Mondays, Wednesdays 2:00pm–3:00pm

starts 2013-03-06

In this Seminar, students give talks about advanced topics in mathematical Logic. This seminar is intended mainly for students writing their diploma, master or PhD thesis at the KGRC.

### Research Seminar

Time: Thursdays 4:00pm–6:00pm

starts 2013-03-07

This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.

## Modules

**MLOL** - Mathematische Logik (mathematical logic)

**MLOM** - Axiomatische Mengenlehre (axiomatic set theory)

**MLOI** - Theoretische Informatik (theoretical computer science)

**MLOS** - Seminare: Mathematische Logik und theoretische Informatik (seminars in mathematical logic and computer science)

**MLOV** - Vertiefungslehrveranstaltungen für den Studienschwerpunkt
"Mathematische Logik und theoretische Informatik" (courses elaborating on mathematical logic and theoretical computer science as an area of study)