Courses Summer Semester 2013

(Diese Seite gibt es auch auf Deutsch.)

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:
BachelorDiplomaMaster.

NumberTypeHours (ECTS)TitleModuleLecturerTimeLanguage
250064VO2 (3.0)Basic concepts of mathematical logicMLOLHans AdlerTue 1:15pm–2:45pm
starts 2013-03-05
German
250065UE1 (2.0)Tutorials "Basic concepts of mathematical logic"MLOLJakob KellnerThu 12:05–12:50pm
starts 2013-03-07
German
250075VO3 (5.0)Axiomatic set theory 1MLOMJakob KellnerFri 8:30am-11am
starts 2013-03-08
German; English possible by agreement
250076PS2 (3.0)Introductory seminar: "Axiomatic set theory 1"MLOMStefan HoffelnerWed 4pm-5:30pm
starts 2013-03-13
German; English possible by agreement
250077VO3 (5.0)Introduction to theoretical computer scienceMLOIMoritz MüllerTue 5pm-7:30pm
(15 minutes break)
starts 2013-03-12
English possible by agreement
250121VO2 (3.0)Recursion TheoryMLOVHans AdlerTue 3:15pm-4:45pm
starts 2013-03-05
English possible by agreement
250120VO2 (4.0)Selected topics in set theoryMLOVSy-David FriedmanTue, Thu 2:00–3:00pm
starts 2013-03-05
English
250119PJ+SE2 (4.0)Project seminar (mathematical logic)MLOSSy-David FriedmanMon, Wed 2:00pm–3:00pm
starts 2013-03-06
English
250118SE2 (4.0)Research seminar in mathematical logicMLOSSy-David FriedmanThu 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)


Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2013-03-11, 17:02.